isabelle: Changelog

wenzelm [Sun, 19 Oct 2008 18:27:30 +0200] rev 34320

basic Netbeans project setup;

wenzelm [Sun, 19 Oct 2008 18:26:37 +0200] rev 34319

explicit result type for _listFiles;

wenzelm [Sun, 19 Oct 2008 16:51:55 +0200] rev 34318

original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;

wenzelm [Mon, 11 Jan 2010 22:01:01 +0100] rev 34317

tuned message;

wenzelm [Mon, 11 Jan 2010 21:37:48 +0100] rev 34316

clarified Symbol.is_plain/is_wellformed -- is_closed was rejecting plain backslashes;

wenzelm [Mon, 11 Jan 2010 20:50:03 +0100] rev 34315

Text_Edit.toString;

wenzelm [Mon, 11 Jan 2010 20:36:59 +0100] rev 34314

timeit message;

wenzelm [Mon, 11 Jan 2010 20:36:31 +0100] rev 34313

treat *all* JVM throwables as "exceptions", cf. ML version;

wenzelm [Mon, 11 Jan 2010 18:24:22 +0100] rev 34312

simplified Text_Edit -- deflated class hierarchy;

wenzelm [Mon, 11 Jan 2010 18:23:06 +0100] rev 34311

Outer_Lex.is_ignored;

isabelle