Index of /~leavens/JML//OldReleases

 Name                    Last modified       Size  Description

 Parent Directory        20-Nov-2009 11:16      -  
 COPYING                 08-Jan-2008 17:11    18k  
 COPYING.txt             08-Jan-2008 17:11    18k  
 JML.5.5.tar.gz          09-Jan-2008 22:28  13.1M  
 JML.5.6_rc3.tar.gz      04-Dec-2008 12:05  13.5M  
 JML.5.6_rc4.tar.gz      16-Mar-2009 13:23  13.5M  
 JML.tar.gz              16-Mar-2009 13:23  13.5M  
 LesserGPL.txt           08-Jan-2008 17:11    26k  
 WARRANTY                08-Jan-2008 17:11     1k  
 WARRANTY.txt            08-Jan-2008 17:11     1k  
 jml-white-paper.pdf     08-Jan-2008 17:13   216k  
 jmldbc.pdf              16-Mar-2009 14:20   175k  
 jmlkluwer.pdf           16-Mar-2009 14:19   142k  
 jmlkluwer.ps.gz         16-Mar-2009 14:19   109k  
 jmlrefman.pdf           09-Sep-2009 14:06   1.5M  
 jmlrefman.ps.gz         09-Sep-2009 14:11   490k  
 prelimdesign.pdf        16-Mar-2009 14:19   564k  
 prelimdesign.ps.gz      16-Mar-2009 14:19   264k  
 sttt04.pdf              08-Jan-2008 17:06   318k