isabelle: Changelog

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

haftmann [Sat, 28 Apr 2012 10:03:46 +0200] rev 47820

less confusion in NEWS

haftmann [Sat, 28 Apr 2012 09:55:01 +0200] rev 47819

rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly

nipkow [Sat, 28 Apr 2012 07:38:22 +0200] rev 47818

renamed Semi to Seq

wenzelm [Fri, 27 Apr 2012 23:17:58 +0200] rev 47817

merged

wenzelm [Fri, 27 Apr 2012 22:58:29 +0200] rev 47816

prefer Context_Position.report_generic, which observes is_visible flag and thus reduces number of echos;

isabelle