isabelle: Changelog

haftmann [Sun, 29 Apr 2012 09:25:54 +0200] rev 47830

compact nat literals

wenzelm [Sat, 28 Apr 2012 18:09:50 +0200] rev 47829

some re-ordering;

wenzelm [Sat, 28 Apr 2012 18:05:19 +0200] rev 47828

some coverage of isabelle env;

wenzelm [Sat, 28 Apr 2012 17:54:50 +0200] rev 47827

updated system manual for release;

wenzelm [Sat, 28 Apr 2012 17:53:12 +0200] rev 47826

tuned;

wenzelm [Sat, 28 Apr 2012 17:50:42 +0200] rev 47825

some coverage of Isabelle/Scala tools;

wenzelm [Sat, 28 Apr 2012 17:05:31 +0200] rev 47824

some coverage of Isabelle/jEdit;

wenzelm [Sat, 28 Apr 2012 16:44:32 +0200] rev 47823

some manual updates;

wenzelm [Sat, 28 Apr 2012 16:06:30 +0200] rev 47822

some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; removed historic note about Poly/ML vs. SML/NJ;

huffman [Sat, 28 Apr 2012 11:24:20 +0200] rev 47821

add isar-ref documentation for transfer package

isabelle