Commit [8cfd37] default  Maximize  Restore  History

made Collections an image, build Refine_Monadic on that

Gerwin Klein Gerwin Klein 2012-02-10

changed .hgignore
changed thys/Collections/IsaMakefile
changed thys/Refine_Monadic/IsaMakefile
.hgignore Diff Switch to side-by-side view
Loading...
thys/Collections/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Refine_Monadic/IsaMakefile Diff Switch to side-by-side view
Loading...

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks