| Thu, 30 Jul 2009 11:38:52 +0200 | Christian Urban | made changes for SUBPROOF and sat_tac | file | diff | annotate |
| Sat, 30 May 2009 17:40:20 +0200 | Christian Urban | added some first index-information | file | diff | annotate |
| Sun, 17 May 2009 16:22:27 +0200 | Christian Urban | some polishing; added together with Jasmin more examples to the pretty printing section | file | diff | annotate |
| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |