Name Last modified Size Description
Parent Directory - doc/ 1999-08-11 17:11 - public-license 1994-04-30 17:19 1.8K README 1994-04-30 17:16 6.5K imps-manual.dvi.gz 1994-04-30 17:17 228K imps-manual.ps.gz 1994-04-30 17:17 327K imps.tar.gz 1994-04-30 17:19 4.0M