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

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