isabelle: Changelog

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

added Isar.secure_main; pass Secure.is_secure to Toplevel.loop;

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

isabelle