src/Tools/Code/lib/Tools/codegen
2013-02-13 haftmann 2013-02-13 another attempt for a uniform abort on code generation errors
2012-08-03 wenzelm 2012-08-03 more informative process exit code;
2011-06-08 wenzelm 2011-06-08 modernized structure ProofContext;
2010-09-28 haftmann 2010-09-28 consider quick_and_dirty option before loading theory
2010-09-27 haftmann 2010-09-27 corrected scope of closure
2010-09-24 haftmann 2010-09-24 load theory explicitly
2010-09-23 haftmann 2010-09-23 improved and tuned external codegen tool
2010-09-03 haftmann 2010-09-03 QND_FLAG is a shell variable, not a string
2010-09-01 haftmann 2010-09-01 repaired codegen tool
2010-07-23 haftmann 2010-07-23 repaired tool invocation
2010-06-01 haftmann 2010-06-01 adapted to changes
2010-05-06 haftmann 2010-05-06 ProofContext.init_global
2010-01-05 haftmann 2010-01-05 repaired legacy setting variable
2009-10-01 haftmann 2009-10-01 explicitly Unsynchronized
2009-09-01 haftmann 2009-09-01 added -q switch for run in qnd mode
2009-09-01 haftmann 2009-09-01 code generator is now a separate component