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
less more (0) -10 -6 tip