| Wed, 23 Dec 2009 20:17:02 +0100 | wenzelm | back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system; | changeset | files |
| Tue, 22 Dec 2009 19:39:17 +0100 | wenzelm | adapted to class Outer_Syntax; | changeset | files |
| Tue, 22 Dec 2009 17:31:31 +0100 | wenzelm | renamed session.info to session.root; | changeset | files |
| Tue, 22 Dec 2009 15:42:29 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 22 Dec 2009 15:35:30 +0100 | wenzelm | just one variable for outer syntax keywords and completion; | changeset | files |
| Mon, 21 Dec 2009 21:50:30 +0100 | wenzelm | added isabelle-session mode for session.info files; | changeset | files |