[Xsb-commits] CVS: XSB/packages/altCDF cdf_checks.P,1.18,1.19 cdf_init_cdf.P,1.38,1.39

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/altCDF
In directory sc8-pr-cvs1:/tmp/cvs-serv1465

Modified Files:
	cdf_checks.P cdf_init_cdf.P 
Log Message:
changes to documentation only -- redocumenting for both shareware and proprietary.


Index: cdf_checks.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_checks.P,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- cdf_checks.P	21 Oct 2003 12:52:46 -0000	1.18
+++ cdf_checks.P	29 Nov 2003 04:09:49 -0000	1.19
@@ -124,7 +124,7 @@
 
 As a first pass, I think the component checks should check a flag
 
-@begin{verbtim}
+@begin{verbatim}
 cdf_flag(component_check,Component)
 @end{verbatim}
 

Index: cdf_init_cdf.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_init_cdf.P,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -r1.38 -r1.39
--- cdf_init_cdf.P	20 Nov 2003 21:57:53 -0000	1.38
+++ cdf_init_cdf.P	29 Nov 2003 04:09:49 -0000	1.39
@@ -520,7 +520,7 @@
 	isa(SubCid,SupCid),
 	SubCid \== SupCid.
 
-:- comment(explosive_isa/2, "@tt{explosive_isa(Id1,Id2) follows the
+:- comment(explosive_isa/2, "@tt{explosive_isa(Id1,Id2)} follows the
 isa axioms for product identifiers rather than the algorithm of
 @tt{implicit_isa/2}. Thus if neither @tt{Id1} nor @tt{Id2} are product
 identifiers, or if @tt{Id1} and @tt{Id2} are fully ground product