src/Pure/System/isar.ML
Wed, 28 Oct 2009 22:01:40 +0100 wenzelm Isar.goal: Proof.simple_goal, not raw version;
Tue, 27 Oct 2009 13:16:16 +0100 wenzelm non-critical atomic accesses;
Wed, 30 Sep 2009 22:25:50 +0200 wenzelm eliminated dead code;
Tue, 29 Sep 2009 14:59:24 +0200 wenzelm open_unsynchronized for interactive Isar loop;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Tue, 01 Sep 2009 21:40:10 +0200 wenzelm removed old Isar document model;
Sat, 06 Jun 2009 21:11:23 +0200 wenzelm ML_Compiler.exn_message;
Thu, 04 Jun 2009 22:52:53 +0200 wenzelm uniform (short) ids on both sides;
Sat, 28 Feb 2009 18:28:15 +0100 wenzelm fixed headers;
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);
less more (0) tip