doc-src/IsarImplementation/Thy/Integration.thy
2010-10-26 wenzelm 2010-10-26 proper markup of uninterpreted ML text as @{ML_text}, not @{verbatim};
2010-10-22 wenzelm 2010-10-22 cover @{Isar.state};
2010-10-18 wenzelm 2010-10-18 tuned;
2010-10-08 wenzelm 2010-10-08 eliminated "Toplevel control", which belongs to TTY/ProofGeneral model;
2010-10-08 wenzelm 2010-10-08 eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX); eliminated Isar toplevel invocation functions, which belong to TTY/ProofGeneral model; moved remaining "ML toplevel" material to "Compile-time context";
2010-07-27 wenzelm 2010-07-27 updated manual concerning theory loader;
2010-07-20 wenzelm 2010-07-20 qualified Thy_Info.get_theory;
2010-06-03 wenzelm 2010-06-03 discontinued obsolete Isar.context() -- long superseded by @{context};
2010-05-31 wenzelm 2010-05-31 modernized some structure names, keeping a few legacy aliases;
2010-02-02 wenzelm 2010-02-02 minimal tuning of this slightly dated material;
2010-01-28 wenzelm 2010-01-28 formal markup of type aliases; updated/tuned/clarified contexts; misc tuning and clarification;
2009-10-28 wenzelm 2009-10-28 updated Isar.goal;
2009-10-01 wenzelm 2009-10-01 explicitly Unsynchronized;
2009-07-25 wenzelm 2009-07-25 ML_Context.the_generic_context;
2009-03-05 wenzelm 2009-03-05 regenerated document;
2009-03-05 wenzelm 2009-03-05 dummy changes to produce a new changeset of these files;
2009-02-16 wenzelm 2009-02-16 minor tuning and typographic fixes;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;