isabelle: Changelog

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;

wenzelm [Sat, 06 Oct 2007 22:07:15 +0200] rev 24877

removed duplicate target;

wenzelm [Sat, 06 Oct 2007 22:06:11 +0200] rev 24876

updated;

isabelle