wenzelm [Tue, 11 Jan 2011 20:18:48 +0100] rev 41762
added dist/jedit symlink for convenience;
wenzelm [Tue, 11 Jan 2011 20:10:34 +0100] rev 41761
record versions of both jEdit and Isabelle;
wenzelm [Tue, 11 Jan 2011 20:01:57 +0100] rev 41760
updated to Isabelle2011;
wenzelm [Tue, 11 Jan 2011 19:55:34 +0100] rev 41759
isabelle version -i;
haftmann [Tue, 11 Jan 2011 18:23:29 +0100] rev 41758
NEWS
bulwahn [Tue, 11 Jan 2011 17:59:35 +0100] rev 41757
NEWS
krauss [Tue, 11 Jan 2011 17:38:03 +0100] rev 41756
eliminated duplication
wenzelm [Tue, 11 Jan 2011 17:00:21 +0100] rev 41755
merged
wenzelm [Tue, 11 Jan 2011 16:23:28 +0100] rev 41754
clarified notion Position.is_reported;
ML warning/error: retain non-reported clear-text position, notably when evaluating external ML files;
haftmann [Tue, 11 Jan 2011 14:14:13 +0100] rev 41753
tuned text