[Javabdd-checkins] JavaBDD/xdocs navigation.xml,1.5,1.6

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

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

Modified Files:
	navigation.xml 
Log Message:
URL for sourceforge download has changed.

Index: navigation.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/xdocs/navigation.xml,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** navigation.xml	17 Nov 2004 23:49:12 -0000	1.5
--- navigation.xml	20 Jan 2005 08:02:50 -0000	1.6
***************
*** 23,34 ****
        <item name="Performance"
              href="performance.html"/>
      </menu>
      <menu name="Downloads">
        <item name="JavaBDD for Windows"
!             href="http://dl.sourceforge.net/javabdd/javabdd_1.0b1.zip"/>
        <item name="JavaBDD for Linux"
!             href="http://dl.sourceforge.net/javabdd/javabdd_1.0b1.tar.gz"/>
        <item name="JavaBDD Source code"
!             href="http://dl.sourceforge.net/javabdd/javabdd_src_1.0b1.tar.gz"/>
      </menu>
    </body>
--- 23,36 ----
        <item name="Performance"
              href="performance.html"/>
+       <item name="Links"
+             href="links.html"/>
      </menu>
      <menu name="Downloads">
        <item name="JavaBDD for Windows"
!             href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b1.zip"/>
        <item name="JavaBDD for Linux"
!             href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b1.tar.gz"/>
        <item name="JavaBDD Source code"
!             href="http://prdownloads.sourceforge.net/javabdd/javabdd_src_1.0b1.tar.gz"/>
      </menu>
    </body>