isabelle: File revisions

src/Pure/System/session.ML

Sat, 15 May 2010 23:40:00 +0200	wenzelm	renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;	file \| diff \| annotate
Sat, 15 May 2010 23:16:32 +0200	wenzelm	refer directly to structure Keyword and Parse;	file \| diff \| annotate
Tue, 29 Sep 2009 11:49:22 +0200	wenzelm	explicit indication of Unsynchronized.ref;	file \| diff \| annotate
Sun, 19 Jul 2009 19:24:04 +0200	wenzelm	parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;	file \| diff \| annotate
Tue, 30 Jun 2009 22:23:33 +0200	wenzelm	more detailed timing message;	file \| diff \| annotate
Wed, 17 Jun 2009 17:07:26 +0200	wenzelm	usedir: internal timing option;	file \| diff \| annotate
Sat, 06 Jun 2009 21:11:23 +0200	wenzelm	ML_Compiler.exn_message;	file \| diff \| annotate
Sat, 28 Feb 2009 18:00:20 +0100	wenzelm	moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);	file \| diff \| annotate \| base

isabelle