isabelle: Changelog

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

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

default replaces arbitrary

haftmann [Sun, 24 Aug 2008 14:42:22 +0200] rev 27981

tuned import order

isabelle