SourceForge has been redesigned. Learn more.
Close

Commit [1bd3ff] default  Maximize  Restore  History

standard IsaMakefile + config; use LatticeProperties image

kleing kleing 2011-09-27

changed thys/PseudoHoops/IsaMakefile
changed thys/PseudoHoops/ROOT.ML
added thys/PseudoHoops/config
thys/PseudoHoops/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/PseudoHoops/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/PseudoHoops/config Diff Switch to side-by-side view
Loading...