isabelle: Changelog

wenzelm [Sat, 14 Jan 2012 20:05:58 +0100] rev 46218

renamed Term.list_all to Logic.list_all, in accordance to HOLogic.list_all;

wenzelm [Sat, 14 Jan 2012 19:06:05 +0100] rev 46217

renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;

wenzelm [Sat, 14 Jan 2012 18:18:06 +0100] rev 46216

tuned;

wenzelm [Sat, 14 Jan 2012 17:45:04 +0100] rev 46215

discontinued old-style Term.list_all_free in favour of plain Logic.all;

wenzelm [Sat, 14 Jan 2012 16:58:29 +0100] rev 46214

tuned;

wenzelm [Sat, 14 Jan 2012 16:25:54 +0100] rev 46213

discontinued default rendering for Oheimb's double-space;

wenzelm [Sat, 14 Jan 2012 16:14:22 +0100] rev 46212

tuned white space;

wenzelm [Sat, 14 Jan 2012 16:12:09 +0100] rev 46211

tuned comment;

wenzelm [Sat, 14 Jan 2012 15:44:44 +0100] rev 46210

paranoia null check -- prevent spurious crash of jedit token markup;

wenzelm [Sat, 14 Jan 2012 15:30:54 +0100] rev 46209

tuned comments;

isabelle