Sat, 15 May 2010 23:40:00 +0200 |
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 |
refer directly to structure Keyword and Parse;
|
file | diff | annotate |
Wed, 28 Oct 2009 22:01:40 +0100 |
Isar.goal: Proof.simple_goal, not raw version;
|
file | diff | annotate |
Tue, 27 Oct 2009 13:16:16 +0100 |
non-critical atomic accesses;
|
file | diff | annotate |
Wed, 30 Sep 2009 22:25:50 +0200 |
eliminated dead code;
|
file | diff | annotate |
Tue, 29 Sep 2009 14:59:24 +0200 |
open_unsynchronized for interactive Isar loop;
|
file | diff | annotate |
Tue, 29 Sep 2009 11:49:22 +0200 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
Tue, 01 Sep 2009 21:40:10 +0200 |
removed old Isar document model;
|
file | diff | annotate |
Sat, 06 Jun 2009 21:11:23 +0200 |
ML_Compiler.exn_message;
|
file | diff | annotate |
Thu, 04 Jun 2009 22:52:53 +0200 |
uniform (short) ids on both sides;
|
file | diff | annotate |
Sat, 28 Feb 2009 18:28:15 +0100 |
fixed headers;
|
file | diff | annotate |
Sat, 28 Feb 2009 18:00:20 +0100 |
moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);
|
file | diff | annotate | base |