Wed, 11 Aug 2010 00:47:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 09 Aug 2010 18:18:32 +0200 |
wenzelm |
Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
|
file |
diff |
annotate
|
Tue, 03 Aug 2010 18:10:18 +0200 |
wenzelm |
find_and_undo: no need to kill_thy again -- Thy_Info.toplevel_begin_theory does that initially (cf. 3ceccd415145);
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 22:31:59 +0200 |
wenzelm |
discontinued obsolete Isar.context() -- long superseded by @{context};
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 13:32:05 +0200 |
wenzelm |
uniform ML environment setup for Isar and PG;
|
file |
diff |
annotate
|
Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
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
|
Wed, 28 Oct 2009 22:01:40 +0100 |
wenzelm |
Isar.goal: Proof.simple_goal, not raw version;
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 13:16:16 +0100 |
wenzelm |
non-critical atomic accesses;
|
file |
diff |
annotate
|
Wed, 30 Sep 2009 22:25:50 +0200 |
wenzelm |
eliminated dead code;
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 14:59:24 +0200 |
wenzelm |
open_unsynchronized for interactive Isar loop;
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Tue, 01 Sep 2009 21:40:10 +0200 |
wenzelm |
removed old Isar document model;
|
file |
diff |
annotate
|
Sat, 06 Jun 2009 21:11:23 +0200 |
wenzelm |
ML_Compiler.exn_message;
|
file |
diff |
annotate
|
Thu, 04 Jun 2009 22:52:53 +0200 |
wenzelm |
uniform (short) ids on both sides;
|
file |
diff |
annotate
|
Sat, 28 Feb 2009 18:28:15 +0100 |
wenzelm |
fixed headers;
|
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
|