[Xsb-commits] CVS: XSB/docs/userman otherpackages.tex,1.3,1.4 florablurb.tex,1.1,1.2

[Michael K. <ki...@us...>]

Update of /cvsroot/xsb/XSB/docs/userman
In directory sc8-pr-cvs1:/tmp/cvs-serv6279

Modified Files:
	otherpackages.tex florablurb.tex 
Log Message:
fixed a macro


Index: otherpackages.tex
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/otherpackages.tex,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- otherpackages.tex	11 Jun 2003 00:49:46 -0000	1.3
+++ otherpackages.tex	5 Aug 2003 02:19:01 -0000	1.4
@@ -7,7 +7,7 @@
 themselves.  In addition, we provide full documentation here for two
 of the smaller packages, {\tt slx} and {\tt GAP}.
 
-\section{Summary of {\tt flora2}: Programming with Flora}
+\section{Summary of {\tt FLORA-2}: Programming with FLORA-2}
 \label{package:flora2} 
 
 \input{florablurb}
@@ -350,3 +350,8 @@
 \end{description}
 
 
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "manual2"
+%%% End: 

Index: florablurb.tex
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/florablurb.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- florablurb.tex	23 Jun 2003 20:54:18 -0000	1.1
+++ florablurb.tex	5 Aug 2003 02:19:01 -0000	1.2
@@ -1,22 +1,14 @@
 
-%\documentclass[11pt]{article}
-
-%\pagestyle{headings}
-%\bibliographystyle{plain}
-%\newtheorem{example}{Example}[section]
 
 
 \newcommand{\FLIP}{{\mbox{\sc Flip}}\xspace}
-\newcommand{\FLORA}{{\mbox{\sc ${\cal F}${lora}\rm\emph{-2}}}\xspace}
+\newcommand{\FLORA}{{\mbox{${\cal F}${\sc lora}\rm\emph{-2}}}\xspace}
 \newcommand{\FLORAone}{{\mbox{${\cal F}${\sc lora}}}\xspace}
 \newcommand{\FLORID}{{\mbox{\sc Florid}}\xspace}
 \newcommand{\fl}{\mbox{F-logic}\xspace}
 
 
 
-%\begin{document}
-
-
 %\pagenumbering{arabic}
 %\setcounter{page}{1}
 
@@ -205,4 +197,8 @@
 There is no need to change to the demo directory, as {\tt flDemo} knows
 where to find these programs.
 
-%\end{document}
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "manual2"
+%%% End: