isabelle: Changelog

wenzelm [Sun, 14 Nov 2010 17:33:28 +0100] rev 40537

updated README;

wenzelm [Sun, 14 Nov 2010 15:25:01 +0100] rev 40536

tuned;

wenzelm [Sun, 14 Nov 2010 15:21:49 +0100] rev 40535

cover 'write' as primitive proof command;

wenzelm [Sun, 14 Nov 2010 14:05:08 +0100] rev 40534

clarified interact/print state: proof commands are treated as in TTY mode to get full response;

wenzelm [Sat, 13 Nov 2010 22:33:07 +0100] rev 40533

somewhat adhoc replacement for 'thus' and 'hence'; complete words as short as 2 characters, e.g. "Un";

wenzelm [Sat, 13 Nov 2010 21:46:24 +0100] rev 40532

always print state of proof commands (notably "qed" etc.);

wenzelm [Sat, 13 Nov 2010 21:01:03 +0100] rev 40531

simplified message: malformed symbols are fully internalized, i.e. can be printed without crashing;

wenzelm [Sat, 13 Nov 2010 20:49:02 +0100] rev 40530

tuned message;

wenzelm [Sat, 13 Nov 2010 20:20:05 +0100] rev 40529

proper escape in regex;

wenzelm [Sat, 13 Nov 2010 20:13:35 +0100] rev 40528

report malformed symbols;

isabelle