Sat, 17 Sep 2011 16:29:18 +0200 added "isabelle scalac" convenience;
wenzelm [Sat, 17 Sep 2011 16:29:18 +0200] rev 44950
added "isabelle scalac" convenience;
Sat, 17 Sep 2011 16:19:40 +0200 Symbol.explode as in ML;
wenzelm [Sat, 17 Sep 2011 16:19:40 +0200] rev 44949
Symbol.explode as in ML;
Sat, 17 Sep 2011 16:00:54 +0200 ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
wenzelm [Sat, 17 Sep 2011 16:00:54 +0200] rev 44948
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
Sat, 17 Sep 2011 15:08:55 +0200 dropped unused argument – avoids problem with SML/NJ
haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947
dropped unused argument – avoids problem with SML/NJ
Sat, 17 Sep 2011 00:40:27 +0200 tuned spacing
haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946
tuned spacing
Sat, 17 Sep 2011 00:37:21 +0200 tuned
haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
Sat, 17 Sep 2011 04:41:44 +0200 tuned post fixpoint setup
nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
Sat, 17 Sep 2011 03:37:14 +0200 merged
nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged
Fri, 16 Sep 2011 09:18:15 +0200 when applying induction rules, remove names of assumptions that come
nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
Fri, 16 Sep 2011 20:08:29 +0200 remove stray "using [[simp_trace]]"
noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip