2009-02-24 Christian Urban new pfd file
2009-02-24 Christian Urban to be in sync with Sascha
2009-02-24 boehmes First draft for conversions subsection.
2009-02-24 Christian Urban some slight polishing
2009-02-24 Christian Urban polishing and start of the section about attributes
2009-02-23 Christian Urban polished
2009-02-23 Christian Urban polished
2009-02-22 Christian Urban polished the section about simprocs and added an exercise
2009-02-22 Christian Urban started a section about simprocs
2009-02-21 Christian Urban polished
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-19 Christian Urban polished
2009-02-19 Christian Urban polished parser section
2009-02-18 Christian Urban added to the first-steps section
2009-02-17 Christian Urban some polishing in the first-steps chapter
2009-02-17 Christian Urban polished
2009-02-16 Christian Urban polishing
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban added an acknowledgement section
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-14 Christian Urban added an option for linenumbers to the chunk-antiquotation
2009-02-14 Christian Urban more changes to the package chapter
2009-02-13 Christian Urban some update of the package introduction
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
2009-02-13 Christian Urban slightly updated
2009-02-13 Christian Urban improved
2009-02-12 Christian Urban rearranged some functions
2009-02-12 Christian Urban recovered old version of simple_induct; split the main function into small functions
2009-02-12 Christian Urban polished
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
(0) -100 -50 -30 +30 +50 +100 +300 tip