isabelle: Changelog

wenzelm [Sun, 07 Oct 2007 13:32:17 +0200] rev 24887

isabelle mode for jEdit;

wenzelm [Sun, 07 Oct 2007 13:32:16 +0200] rev 24886

added target tool specification; added jEdit output;

wenzelm [Sun, 07 Oct 2007 13:32:15 +0200] rev 24885

added target tool specification; no special treatment of Pure session;

wenzelm [Sun, 07 Oct 2007 13:32:14 +0200] rev 24884

emacs vs. jedit;

wenzelm [Sat, 06 Oct 2007 22:31:57 +0200] rev 24883

some updates;

wenzelm [Sat, 06 Oct 2007 22:31:57 +0200] rev 24882

removed obsolete write_keywords;

wenzelm [Sat, 06 Oct 2007 22:07:19 +0200] rev 24881

Dummy session with outer syntax keyword initialization.

wenzelm [Sat, 06 Oct 2007 22:07:18 +0200] rev 24880

added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);

wenzelm [Sat, 06 Oct 2007 22:07:17 +0200] rev 24879

tuned;

wenzelm [Sat, 06 Oct 2007 22:07:16 +0200] rev 24878

use isatool keywords -- generate from logs instead of session images;

isabelle