Walther Neuper <wneuper@ist.tugraz.at> [Tue, 14 Apr 2015 15:42:12 +0200] rev 59107
enforced add_commute --> add.commute etc breaks parse
parse @{theory} "Rewrite mult_commute False"; (*= SOME ("Rewrite mult_commute False")*)
parse @{theory} "Rewrite mult.commute False"; (*= NONE*)
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 14 Apr 2015 14:36:02 +0200] rev 59106
print_depth to be replaced by configuration option "ML_print_depth"
quick-and-dirty: default_print_depth
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 14 Apr 2015 13:41:48 +0200] rev 59105
build session Isac starts in Isabelle2014
however, there are error messages during build
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 11 Apr 2015 11:28:31 +0200] rev 59104
merged
wenzelm [Mon, 18 Aug 2014 12:17:31 +0200] rev 59103
Added tag Isabelle2014-RC4 for changeset 113b43b84412
wenzelm [Mon, 18 Aug 2014 12:15:11 +0200] rev 59102
updated to jdk-7u67;
wenzelm [Sun, 17 Aug 2014 16:05:43 +0200] rev 59101
postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
wenzelm [Fri, 15 Aug 2014 13:39:59 +0200] rev 59100
explicit system message for protocol failure -- show on Syslog panel instead of Raw Output;
more robust crash recovery: warning could crash again;
wenzelm [Wed, 13 Aug 2014 20:21:04 +0200] rev 59099
added option editor_syslog_limit;
wenzelm [Wed, 13 Aug 2014 20:08:29 +0200] rev 59098
tuned;