Skip to main content

Browse the archive

Revision 2afd30c7b095e7029386c0e3326e917d143af5b7 authored by Roberto Di Cosmo on 10 November 2011, 22:39:00 UTC, committed by Roberto Di Cosmo on 10 November 2011, 22:39:00 UTC 
Better handling of Finished token
1 parent 4ddf4a3
Raw File
INSTALL 
To install this program, just type

make; make install

To uninstall, type

make uninstall
back to top