wenzelm [Mon, 04 Aug 2014 10:48:35 +0200] rev 59070
Added tag Isabelle2014-RC2 for changeset ee908fccabc2
wenzelm [Mon, 04 Aug 2014 10:47:26 +0200] rev 59069
more user aliases;
noschinl [Mon, 04 Aug 2014 07:31:27 +0200] rev 59068
registered Haskabelle-2014
Lars Noschinski <noschinl@in.tum.de> [Fri, 01 Aug 2014 13:59:34 +0200] rev 59067
tuned, so codegen runs with current isabelle again
wenzelm [Sun, 03 Aug 2014 17:38:59 +0200] rev 59066
tuned whitespace;
wenzelm [Sun, 03 Aug 2014 17:33:38 +0200] rev 59065
more robust popup geometry vs. formatted margin;
wenzelm [Sun, 03 Aug 2014 17:17:59 +0200] rev 59064
tuned message;
wenzelm [Sat, 02 Aug 2014 23:20:49 +0200] rev 59063
updated URL;
wenzelm [Sat, 02 Aug 2014 21:22:28 +0200] rev 59062
tuned;
wenzelm [Sat, 02 Aug 2014 20:58:15 +0200] rev 59061
updated URL;