src/Pure/System/session.ML
Tue, 07 Aug 2012 16:34:15 +0200 wenzelm prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
Mon, 06 Aug 2012 21:11:42 +0200 wenzelm pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
Thu, 02 Aug 2012 12:36:54 +0200 wenzelm more official command specifications, including source position;
Fri, 27 Jul 2012 13:01:19 +0200 wenzelm prefer explicit datatype Present.dump_mode;
Fri, 27 Jul 2012 12:43:58 +0200 wenzelm simplified Session.name;
Thu, 26 Jul 2012 16:54:44 +0200 wenzelm proper arguments for old usedir;
Thu, 26 Jul 2012 14:29:54 +0200 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
Tue, 24 Jul 2012 12:14:16 +0200 wenzelm more precise propagation of options: build, session, theories;
Tue, 24 Jul 2012 00:29:36 +0200 wenzelm pass build options to ML;
Mon, 23 Jul 2012 15:05:05 +0200 wenzelm pass ISABELLE_BROWSER_INFO as explicit argument;
Sat, 21 Jul 2012 16:41:55 +0200 wenzelm some actual build function on ML side;
Fri, 16 Mar 2012 21:40:21 +0100 wenzelm check declared vs. defined commands at end of session;
Fri, 16 Mar 2012 18:20:12 +0100 wenzelm outer syntax command definitions based on formal command_spec derived from theory header declarations;
Tue, 23 Aug 2011 16:53:05 +0200 wenzelm tuned signature -- contrast physical output primitives versus Output.raw_message;
Wed, 30 Mar 2011 22:45:10 +0200 wenzelm session timing: show pseudo-speedup factor;
Sun, 20 Mar 2011 21:28:11 +0100 wenzelm structure Timing: covers former start_timing/end_timing and Output.timeit etc;
Sun, 20 Mar 2011 18:09:32 +0100 wenzelm tuned terminology for document variants;
Fri, 04 Feb 2011 17:11:00 +0100 wenzelm parallelization of nested Isar proofs is subject to Goal.parallel_proofs_threshold;
Mon, 27 Sep 2010 20:26:10 +0200 wenzelm renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Sat, 15 May 2010 23:40:00 +0200 wenzelm renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
Sat, 15 May 2010 23:16:32 +0200 wenzelm refer directly to structure Keyword and Parse;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Sun, 19 Jul 2009 19:24:04 +0200 wenzelm parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
Tue, 30 Jun 2009 22:23:33 +0200 wenzelm more detailed timing message;
Wed, 17 Jun 2009 17:07:26 +0200 wenzelm usedir: internal timing option;
Sat, 06 Jun 2009 21:11:23 +0200 wenzelm ML_Compiler.exn_message;
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