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;
Fri, 17 Apr 2015 17:53:34 +0200 merged
wenzelm [Fri, 17 Apr 2015 17:53:34 +0200] rev 60120
merged
Fri, 17 Apr 2015 17:49:19 +0200 added Eisbach, using version 3752768caa17 of its Bitbucket repository;
wenzelm [Fri, 17 Apr 2015 17:49:19 +0200] rev 60119
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
Fri, 17 Apr 2015 17:47:19 +0200 merged
Lars Noschinski <noschinl@in.tum.de> [Fri, 17 Apr 2015 17:47:19 +0200] rev 60118
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip