isabelle: Changelog

wenzelm [Sat, 18 Apr 2015 23:43:30 +0200] rev 60133

clarified keywords for quasi-command spans and Sidekick structure;

wenzelm [Sat, 18 Apr 2015 21:13:05 +0200] rev 60132

merged

wenzelm [Sat, 18 Apr 2015 20:46:48 +0200] rev 60131

tuned;

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);

kleing [Sat, 18 Apr 2015 19:36:07 +0100] rev 60129

tweak afp mac options, try 64bit

haftmann [Fri, 17 Apr 2015 19:49:40 +0200] rev 60128

compactified proposition

wenzelm [Fri, 17 Apr 2015 22:59:19 +0200] rev 60127

merged

wenzelm [Fri, 17 Apr 2015 20:53:47 +0200] rev 60126

Added tag Isabelle2015-RC1 for changeset c9760373aa0f

wenzelm [Fri, 17 Apr 2015 22:15:35 +0200] rev 60125

tuned spelling;

wenzelm [Fri, 17 Apr 2015 20:53:15 +0200] rev 60124

sorted by automatic regeneration;

isabelle