Index of /research/demeter/DemeterJava/use/latest-demjava/weave

 Name                    Last modified       Size  

 Parent Directory        30-Jan-2003 20:18      -  
 GNUmakefile             30-Jan-2003 20:18     1k  
 filecheck.beh           30-Jan-2003 20:18     2k  
 main.beh                30-Jan-2003 20:18     1k  
 output.beh              30-Jan-2003 20:18     5k  
 prettyjava.beh          30-Jan-2003 20:18     3k  
 var.beh                 30-Jan-2003 20:18     9k  
 weaver.beh              30-Jan-2003 20:18    18k  
 weaver.cd               30-Jan-2003 20:18     6k  
 weaver.prj              30-Jan-2003 20:18     1k