ProgTutorial/document/root.tex
Tue, 03 Nov 2009 13:57:03 +0100 Christian Urban added structure index
Sat, 31 Oct 2009 11:37:41 +0100 Christian Urban new parts in the tactical section
Sun, 25 Oct 2009 15:26:03 +0100 Christian Urban some polishing
Wed, 14 Oct 2009 02:32:53 +0200 Christian Urban slightly tuned
Sun, 11 Oct 2009 16:30:59 +0200 Christian Urban fixed glitch with tocibind
Sat, 10 Oct 2009 18:25:43 +0200 Christian Urban used a better implementation of \index in Latex; added more to the theorem section
less more (0) -10 -6 tip