[Javabdd-checkins] JavaBDD/xdocs compiling.xml,1.2,1.3 navigation.xml,1.3,1.4 performance.xml,1.4,1.5

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/xdocs
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16960/xdocs

Modified Files:
	compiling.xml navigation.xml performance.xml 
Log Message:


Index: navigation.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/xdocs/navigation.xml,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** navigation.xml	27 Jul 2004 22:17:19 -0000	1.3
--- navigation.xml	28 Jul 2004 06:41:39 -0000	1.4
***************
*** 15,19 ****
      </menu>
      <menu name="Documentation">
!       <item name="Javadoc"
              href="apidocs/index.html" />
        <item name="Build Instructions"
--- 15,19 ----
      </menu>
      <menu name="Documentation">
!       <item name="API (Javadoc)"
              href="apidocs/index.html" />
        <item name="Build Instructions"

Index: performance.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/xdocs/performance.xml,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** performance.xml	28 Jul 2004 03:41:56 -0000	1.4
--- performance.xml	28 Jul 2004 06:41:39 -0000	1.5
***************
*** 16,20 ****
        was:
        <br/>
!       <code>java -ms180m -mx180m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code>
        <br/>
        </p>
--- 16,20 ----
        was:
        <br/>
!       <code>java -mx512m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code>
        <br/>
        </p>

Index: compiling.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/xdocs/compiling.xml,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** compiling.xml	27 Jul 2004 20:50:53 -0000	1.2
--- compiling.xml	28 Jul 2004 06:41:39 -0000	1.3
***************
*** 34,38 ****
        native code.  Edit the Makefile to specify the path where to find
        the native code.
!       (The default in the Makefile is <code>buddy22/src</code> for BuDDy,
        <code>cudd-2.4.0</code> for CUDD, and <code>cal-2.1</code> for CAL.)
        It will automatically identify the path to the JDK, as long as you have
--- 34,38 ----
        native code.  Edit the Makefile to specify the path where to find
        the native code.
!       (The default in the Makefile is <code>buddy/src</code> for BuDDy,
        <code>cudd-2.4.0</code> for CUDD, and <code>cal-2.1</code> for CAL.)
        It will automatically identify the path to the JDK, as long as you have