IsaMakefile
2009-11-03 Christian Urban added structure index
2009-10-30 haftmann modernized
2009-08-05 Christian Urban tuned the section about printing several bits of inormation
2009-07-30 Christian Urban polished the package chapter used FOCUS to explain the subproofs
2009-06-04 Christian Urban minor tuning
2009-05-30 Christian Urban added some first index-information
2009-05-08 Christian Urban a saner method for calling PolyML
less more (0) -10 -7 tip