| Sat, 23 Nov 2013 13:11:12 +0100 | wenzelm | more official option; | file | diff | annotate |
| Fri, 17 May 2013 20:41:45 +0200 | wenzelm | proper option quick_and_dirty; | file | diff | annotate |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | another attempt for a uniform abort on code generation errors | file | diff | annotate |
| Fri, 03 Aug 2012 16:00:12 +0200 | wenzelm | more informative process exit code; | file | diff | annotate |
| Wed, 08 Jun 2011 22:16:21 +0200 | wenzelm | modernized structure ProofContext; | file | diff | annotate |
| Tue, 28 Sep 2010 09:14:37 +0200 | haftmann | consider quick_and_dirty option before loading theory | file | diff | annotate |
| Mon, 27 Sep 2010 09:36:18 +0200 | haftmann | corrected scope of closure | file | diff | annotate |
| Fri, 24 Sep 2010 11:56:14 +0200 | haftmann | load theory explicitly | file | diff | annotate |
| Thu, 23 Sep 2010 10:37:28 +0200 | haftmann | improved and tuned external codegen tool | file | diff | annotate |
| Fri, 03 Sep 2010 16:08:09 +0200 | haftmann | QND_FLAG is a shell variable, not a string | file | diff | annotate |
| Wed, 01 Sep 2010 09:03:34 +0200 | haftmann | repaired codegen tool | file | diff | annotate |
| Fri, 23 Jul 2010 09:05:54 +0200 | haftmann | repaired tool invocation | file | diff | annotate |
| 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 |