isabelle: Changelog

blanchet [Sun, 29 Jun 2014 18:30:24 +0200] rev 57434

use SMT2

blanchet [Sun, 29 Jun 2014 18:28:27 +0200] rev 57433

compile

blanchet [Sun, 29 Jun 2014 18:28:27 +0200] rev 57432

tuning

blanchet [Sun, 29 Jun 2014 18:28:27 +0200] rev 57431

killed Python version of MaSh, now that the SML version works adequately

haftmann [Sat, 28 Jun 2014 22:13:23 +0200] rev 57430

tracing facilities for the code generator preprocessor

haftmann [Sat, 28 Jun 2014 22:13:21 +0200] rev 57429

tuned interface

haftmann [Sat, 28 Jun 2014 22:13:20 +0200] rev 57428

corrected handled exception

haftmann [Sat, 28 Jun 2014 21:09:17 +0200] rev 57427

proper trading of variables; more appropriate ML variable names

haftmann [Sat, 28 Jun 2014 21:09:15 +0200] rev 57426

modernized

wenzelm [Sat, 28 Jun 2014 18:02:33 +0200] rev 57425

jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;

isabelle