src/Pure/System/session.ML
2012-08-02 wenzelm 2012-08-02 more official command specifications, including source position;
2012-07-27 wenzelm 2012-07-27 prefer explicit datatype Present.dump_mode;
2012-07-27 wenzelm 2012-07-27 simplified Session.name;
2012-07-26 wenzelm 2012-07-26 proper arguments for old usedir;
2012-07-26 wenzelm 2012-07-26 refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-24 wenzelm 2012-07-24 more precise propagation of options: build, session, theories;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-23 wenzelm 2012-07-23 pass ISABELLE_BROWSER_INFO as explicit argument;
2012-07-21 wenzelm 2012-07-21 some actual build function on ML side; further imitation of "usedir" shell script;
2012-03-16 wenzelm 2012-03-16 check declared vs. defined commands at end of session;
2012-03-16 wenzelm 2012-03-16 outer syntax command definitions based on formal command_spec derived from theory header declarations;
2011-08-23 wenzelm 2011-08-23 tuned signature -- contrast physical output primitives versus Output.raw_message;
2011-03-30 wenzelm 2011-03-30 session timing: show pseudo-speedup factor;
2011-03-20 wenzelm 2011-03-20 structure Timing: covers former start_timing/end_timing and Output.timeit etc; explicit Timing.message function; eliminated Output.timing flag, cf. Toplevel.timing; tuned;
2011-03-20 wenzelm 2011-03-20 tuned terminology for document variants;
2011-02-04 wenzelm 2011-02-04 parallelization of nested Isar proofs is subject to Goal.parallel_proofs_threshold;
2010-09-27 wenzelm 2010-09-27 renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-05-31 wenzelm 2010-05-31 modernized some structure names, keeping a few legacy aliases;
2010-05-15 wenzelm 2010-05-15 renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
2010-05-15 wenzelm 2010-05-15 refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-19 wenzelm 2009-07-19 parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-06-30 wenzelm 2009-06-30 more detailed timing message;
2009-06-17 wenzelm 2009-06-17 usedir: internal timing option;
2009-06-06 wenzelm 2009-06-06 ML_Compiler.exn_message;
2009-02-28 wenzelm 2009-02-28 moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);