Commit [f049cb] Isabelle2008  Maximize  Restore  History

Moved to standard AFP IsaMakefile format

fixed paths
put generated documents in expected browser_info place

lsf37 lsf37 2008-10-21

changed thys/Huffman/IsaMakefile
changed thys/Huffman/fixdoc
thys/Huffman/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Huffman/fixdoc Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks