Sat, 18 Apr 2015 20:44:55 +0200 clarified syntax diagram: 'obtains' does not allow prop_pat (although it could and should at some point);
wenzelm [Sat, 18 Apr 2015 20:44:55 +0200] rev 60130
clarified syntax diagram: 'obtains' does not allow prop_pat (although it could and should at some point);
Sat, 18 Apr 2015 19:36:07 +0100 tweak afp mac options, try 64bit
kleing [Sat, 18 Apr 2015 19:36:07 +0100] rev 60129
tweak afp mac options, try 64bit
Fri, 17 Apr 2015 19:49:40 +0200 compactified proposition
haftmann [Fri, 17 Apr 2015 19:49:40 +0200] rev 60128
compactified proposition
Fri, 17 Apr 2015 22:59:19 +0200 merged
wenzelm [Fri, 17 Apr 2015 22:59:19 +0200] rev 60127
merged
Fri, 17 Apr 2015 20:53:47 +0200 Added tag Isabelle2015-RC1 for changeset c9760373aa0f
wenzelm [Fri, 17 Apr 2015 20:53:47 +0200] rev 60126
Added tag Isabelle2015-RC1 for changeset c9760373aa0f
Fri, 17 Apr 2015 22:15:35 +0200 tuned spelling;
wenzelm [Fri, 17 Apr 2015 22:15:35 +0200] rev 60125
tuned spelling;
Fri, 17 Apr 2015 20:53:15 +0200 sorted by automatic regeneration;
wenzelm [Fri, 17 Apr 2015 20:53:15 +0200] rev 60124
sorted by automatic regeneration;
Fri, 17 Apr 2015 20:19:54 +0200 updated polyml according to fixes-5.5.2 SVN version 2007;
wenzelm [Fri, 17 Apr 2015 20:19:54 +0200] rev 60123
updated polyml according to fixes-5.5.2 SVN version 2007;
Fri, 17 Apr 2015 19:01:42 +0200 make SML/NJ happy;
wenzelm [Fri, 17 Apr 2015 19:01:42 +0200] rev 60122
make SML/NJ happy;
Fri, 17 Apr 2015 18:02:32 +0200 just one line, to make it work with makedist_bundle;
wenzelm [Fri, 17 Apr 2015 18:02:32 +0200] rev 60121
just one line, to make it work with makedist_bundle;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip