isabelle: Changelog

wenzelm [Tue, 29 Dec 2009 15:33:39 +0100] rev 34807

tuned;

wenzelm [Tue, 29 Dec 2009 15:00:11 +0100] rev 34806

tuned;

wenzelm [Mon, 28 Dec 2009 22:04:45 +0100] rev 34805

Standard_System;

wenzelm [Wed, 23 Dec 2009 20:35:47 +0100] rev 34804

slightly larger stack size -- default seems to be as low as 256k;

wenzelm [Wed, 23 Dec 2009 20:17:02 +0100] rev 34803

back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;

wenzelm [Tue, 22 Dec 2009 19:39:17 +0100] rev 34802

adapted to class Outer_Syntax;

wenzelm [Tue, 22 Dec 2009 17:31:31 +0100] rev 34801

renamed session.info to session.root;

wenzelm [Tue, 22 Dec 2009 15:42:29 +0100] rev 34800

tuned;

wenzelm [Tue, 22 Dec 2009 15:35:30 +0100] rev 34799

just one variable for outer syntax keywords and completion;

wenzelm [Mon, 21 Dec 2009 21:50:30 +0100] rev 34798

added isabelle-session mode for session.info files;

isabelle