Index of /dts/cofi/CASLtoPVS/aterm-0.18

 Name                    Last modified      Size  Description
 aterm-0.18.tar.gz       1999-07-29 09:14  411K  
 configure               1999-07-29 09:14   44K  
 config.status           1999-07-29 11:30  6.0K  
 install-sh              1999-07-29 09:14  4.7K  
 configure.in            1999-07-29 09:14  3.1K  
 Makefile                1999-07-29 11:30  2.0K  
 Makefile.in             1999-07-29 09:14  1.8K  
 config.cache            1999-07-29 11:30  1.4K  
 README.txt              1999-07-29 09:14  1.3K  
 TODO.txt                1999-07-29 09:14  177   
 toolbus/                1999-07-29 11:36    -   
 test/                   1999-07-29 11:40    -   
 java1.2/                1999-07-29 11:30    -   
 doc/                    1999-08-20 11:51    -   
 aterm/                  1999-07-29 11:35    -   
 asfix/                  1999-07-29 11:39    -