isabelle: Changelog

haftmann [Tue, 03 Feb 2009 16:40:10 +0100] rev 29783

merged

haftmann [Tue, 03 Feb 2009 16:39:52 +0100] rev 29782

dropped global Nil/Append interpretation

krauss [Tue, 03 Feb 2009 11:16:28 +0100] rev 29781

small fixes; removed Id

krauss [Tue, 03 Feb 2009 11:16:28 +0100] rev 29780

mergesort example: recdef->fun, localized

krauss [Tue, 03 Feb 2009 11:16:28 +0100] rev 29779

declare "nat o abs" as default measure for int

haftmann [Tue, 03 Feb 2009 07:44:10 +0100] rev 29778

repaired accidental commit

wenzelm [Sun, 22 Feb 2009 20:37:18 +0100] rev 29777

result for Swing.now;

wenzelm [Sat, 21 Feb 2009 18:06:17 +0100] rev 29776

replaced \overline by \vec;

wenzelm [Sat, 21 Feb 2009 18:05:34 +0100] rev 29775

updated generated files;

wenzelm [Sat, 21 Feb 2009 18:05:12 +0100] rev 29774

tuned;

isabelle