isabelle: Changelog

wenzelm [Mon, 25 Aug 2008 16:52:11 +0200] rev 27992

added try_result;

wenzelm [Sun, 24 Aug 2008 21:15:48 +0200] rev 27991

misc reorganization; simplified consumer thread; more robust stop;

wenzelm [Sun, 24 Aug 2008 21:15:46 +0200] rev 27990

Kind: added is_control; more robust kill/exit; tuned interfaces;

wenzelm [Sun, 24 Aug 2008 21:15:44 +0200] rev 27989

get: allow null;

wenzelm [Sun, 24 Aug 2008 19:24:27 +0200] rev 27988

misc tuning of names;

wenzelm [Sun, 24 Aug 2008 19:02:22 +0200] rev 27987

rearranged source files;

wenzelm [Sun, 24 Aug 2008 18:57:43 +0200] rev 27986

init_message: class markup in message body, not header;

wenzelm [Sun, 24 Aug 2008 18:11:20 +0200] rev 27985

repackaged as isabelle.jedit;

wenzelm [Sun, 24 Aug 2008 17:23:42 +0200] rev 27984

untabify: silently turn tab into space if column information is unavailable;

haftmann [Sun, 24 Aug 2008 14:42:26 +0200] rev 27983

corrected cache handling for class operations

isabelle