| Tue, 01 Jun 2010 13:52:12 +0200 | haftmann | adapted to changes | file | diff | annotate |
| Thu, 06 May 2010 10:55:09 +0200 | haftmann | ProofContext.init_global | file | diff | annotate |
| Tue, 05 Jan 2010 11:38:51 +0100 | haftmann | repaired legacy setting variable | file | diff | annotate |
| Thu, 01 Oct 2009 09:09:56 +0200 | haftmann | explicitly Unsynchronized | file | diff | annotate |
| Tue, 01 Sep 2009 17:02:09 +0200 | haftmann | added -q switch for run in qnd mode | file | diff | annotate |
| Tue, 01 Sep 2009 16:39:05 +0200 | haftmann | code generator is now a separate component | file | diff | annotate | base |