isabelle: Changelog

wenzelm [Tue, 04 Dec 2007 22:49:26 +0100] rev 25525

added Tools/isabelle_process.ML;

wenzelm [Tue, 04 Dec 2007 22:49:22 +0100] rev 25524

isabelle process: replaced option -p by -W (process wrapper);

wenzelm [Tue, 04 Dec 2007 22:49:21 +0100] rev 25523

replaced option -p by -W (process wrapper); tuned PGIP option setup;

wenzelm [Tue, 04 Dec 2007 21:09:37 +0100] rev 25522

\<chi> is now considered a letter; tuned;

wenzelm [Tue, 04 Dec 2007 13:22:55 +0100] rev 25521

symbol chi is also a letter;

obua [Mon, 03 Dec 2007 17:47:35 +0100] rev 25520

improvements

haftmann [Mon, 03 Dec 2007 16:04:17 +0100] rev 25519

overloading target

haftmann [Mon, 03 Dec 2007 16:04:16 +0100] rev 25518

interface for unchecked definitions

haftmann [Mon, 03 Dec 2007 16:04:14 +0100] rev 25517

shifted "fun" command to Wellfounded_Relations

haftmann [Mon, 03 Dec 2007 16:04:13 +0100] rev 25516

updated

isabelle