2012-08-02 wenzelm 2012-08-02 more official command specifications, including source position;
2012-03-16 wenzelm 2012-03-16 outer syntax command definitions based on formal command_spec derived from theory header declarations;
2011-08-18 wenzelm 2011-08-18 more careful treatment of exception serial numbers, with propagation to message channel;
2011-07-06 wenzelm 2011-07-06 prefer Synchronized.var;
2010-09-09 wenzelm 2010-09-09 main command loops are supposed to be uninterruptible -- no special treatment here;
2010-08-30 wenzelm 2010-08-30 Toplevel.run_command: more careful treatment of interrupts stemming from nested multi-exceptions etc.; simplified Toplevel.error_msg;
2010-08-27 wenzelm 2010-08-27 structure Unsynchronized is never opened and set/reset/toggle have been discontinued; retain Unsynchronized.change alias for Proof General;
2010-08-11 wenzelm 2010-08-11 tuned;
2010-08-09 wenzelm 2010-08-09 Isabelle_Process: separate input fifo for commands (still using the old tty protocol); some partial workarounds for Cygwin;
2010-08-03 wenzelm 2010-08-03 find_and_undo: no need to kill_thy again -- Thy_Info.toplevel_begin_theory does that initially (cf. 3ceccd415145);
2010-06-03 wenzelm 2010-06-03 discontinued obsolete Isar.context() -- long superseded by @{context};
2010-06-01 wenzelm 2010-06-01 uniform ML environment setup for Isar and PG;
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-10-28 wenzelm 2009-10-28 Isar.goal: Proof.simple_goal, not raw version;
2009-10-27 wenzelm 2009-10-27 non-critical atomic accesses;
2009-09-30 wenzelm 2009-09-30 eliminated dead code;
2009-09-29 wenzelm 2009-09-29 open_unsynchronized for interactive Isar loop;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-01 wenzelm 2009-09-01 removed old Isar document model;
2009-06-06 wenzelm 2009-06-06 ML_Compiler.exn_message;
2009-06-04 wenzelm 2009-06-04 uniform (short) ids on both sides;
2009-02-28 wenzelm 2009-02-28 fixed headers;
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);