isabelle: Changelog

wenzelm [Mon, 03 Feb 2014 15:28:01 +0100] rev 55301

tuned whitespace;

wenzelm [Mon, 03 Feb 2014 13:45:54 +0100] rev 55300

tuned;

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55299

generate comments in Isar proofs

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55298

allow merging of steps with subproofs

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55297

renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55296

tuned behavior of 'smt' option

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55295

keep all proof methods in data structure until the end, to enhance debugging output

blanchet [Mon, 03 Feb 2014 19:32:02 +0100] rev 55294

proper fresh name generation

haftmann [Mon, 03 Feb 2014 08:23:21 +0100] rev 55293

code generation: explicitly declared identifiers gain predence over implicit ones

haftmann [Mon, 03 Feb 2014 08:23:20 +0100] rev 55292

tuned

isabelle