src/Tools/Code/lib/Tools/codegen
Fri, 01 Aug 2014 13:59:34 +0200 Lars Noschinski tuned, so codegen runs with current isabelle again
Sat, 23 Nov 2013 13:11:12 +0100 wenzelm more official option;
Fri, 17 May 2013 20:41:45 +0200 wenzelm proper option quick_and_dirty;
Wed, 13 Feb 2013 13:38:52 +0100 haftmann another attempt for a uniform abort on code generation errors
Fri, 03 Aug 2012 16:00:12 +0200 wenzelm more informative process exit code;
Wed, 08 Jun 2011 22:16:21 +0200 wenzelm modernized structure ProofContext;
Tue, 28 Sep 2010 09:14:37 +0200 haftmann consider quick_and_dirty option before loading theory
Mon, 27 Sep 2010 09:36:18 +0200 haftmann corrected scope of closure
Fri, 24 Sep 2010 11:56:14 +0200 haftmann load theory explicitly
Thu, 23 Sep 2010 10:37:28 +0200 haftmann improved and tuned external codegen tool
Fri, 03 Sep 2010 16:08:09 +0200 haftmann QND_FLAG is a shell variable, not a string
Wed, 01 Sep 2010 09:03:34 +0200 haftmann repaired codegen tool
Fri, 23 Jul 2010 09:05:54 +0200 haftmann repaired tool invocation
Tue, 01 Jun 2010 13:52:12 +0200 haftmann adapted to changes
Thu, 06 May 2010 10:55:09 +0200 haftmann ProofContext.init_global
Tue, 05 Jan 2010 11:38:51 +0100 haftmann repaired legacy setting variable
Thu, 01 Oct 2009 09:09:56 +0200 haftmann explicitly Unsynchronized
Tue, 01 Sep 2009 17:02:09 +0200 haftmann added -q switch for run in qnd mode
Tue, 01 Sep 2009 16:39:05 +0200 haftmann code generator is now a separate component
less more (0) tip