2008-07-17 ago wenzelm tuned line breaks (NB: generated text is inserted here);
2008-07-17 ago wenzelm proper usage message;
2008-07-17 ago wenzelm make Isabelle source distribution (via Mercurial);
2008-07-17 ago wenzelm explicit Distribution.changelog;
2008-07-17 ago wenzelm structure Distribution: swapped default for is_official;
2008-07-17 ago wenzelm ThyInfo.remove_thy;
2008-07-17 ago wenzelm structure Distribution: swapped default for is_official;
2008-07-17 ago wenzelm use ../isabelle.sty and ../isabellesym.sty;
2008-07-17 ago wenzelm tuned whitespace;
2008-07-17 ago wenzelm removed old checklist;
2008-07-17 ago wenzelm obsolete;
2008-07-17 ago wenzelm tuned;
2008-07-17 ago wenzelm discontinued maketags;
2008-07-17 ago wenzelm assume GNU tar and find;
2008-07-17 ago wenzelm tuned;
2008-07-17 ago wenzelm use ../isabellesym.sty, which is always available;
2008-07-17 ago wenzelm Admin/build browser;
2008-07-17 ago wenzelm less verbosity;
2008-07-17 ago wenzelm Administrative build -- finish Isabelle source distribution.
2008-07-17 ago krauss simplified proofs
2008-07-17 ago nipkow beautified proofs
2008-07-17 ago nipkow added lemmas
2008-07-16 ago berghofe Added Standardization theory to nominal examples.
2008-07-16 ago berghofe Added Standardization theory.
2008-07-16 ago wenzelm editor model: run interactively for now;
2008-07-16 ago wenzelm updated generated file;
2008-07-16 ago wenzelm identify: more informative id in Toplevel.debug mode;
2008-07-16 ago wenzelm shortlogentry/filelogentry: show shortdate and full description;
2008-07-16 ago ballarin Removed uses of context element includes.
2008-07-16 ago wenzelm added Isar.command, Isar.insert, Isar.remove (editor model);
2008-07-16 ago wenzelm export type id with no_id and create_command;
2008-07-15 ago wenzelm tuned;
2008-07-15 ago wenzelm renamed IsarCmd.nested_command to OuterSyntax.prepare_command;
2008-07-15 ago wenzelm load thy_edit.ML before isar.ML;
2008-07-15 ago wenzelm modernized specifications and proofs;
2008-07-15 ago ballarin Removed uses of context element includes.
2008-07-15 ago haftmann tuned
2008-07-15 ago haftmann tuned code theorem bookkeeping
2008-07-15 ago wenzelm tuned changelogentry;
2008-07-15 ago wenzelm refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
2008-07-15 ago wenzelm support for command status;
2008-07-15 ago wenzelm added status channel;
2008-07-15 ago wenzelm added status channel;
2008-07-15 ago wenzelm tuned;
2008-07-15 ago wenzelm simplified commit_exit;
2008-07-15 ago wenzelm simplified commit_exit: operate on previous node of final state, include warning here;
2008-07-15 ago wenzelm removed obsolete commit_exit;
2008-07-15 ago wenzelm added command 'linear_undo';
2008-07-15 ago wenzelm removed command 'redo';
2008-07-15 ago wenzelm adapted ThyInfo.end_theory;
2008-07-15 ago haftmann dropped map; fixed swap
2008-07-15 ago haftmann curried gcd
2008-07-14 ago wenzelm cover macbroy as well;
2008-07-14 ago wenzelm tuned filelogentry;
2008-07-14 ago wenzelm print_mode "test_markup": do not change prompt, otherwise Proof General will not work;
2008-07-14 ago wenzelm tuned message;
2008-07-14 ago wenzelm updated generated file;
2008-07-14 ago wenzelm inform_file_processed: Isar.init_point last!
2008-07-14 ago wenzelm removed HOL-Complex, which has been discontinued after Isabelle2008;
2008-07-14 ago wenzelm added HOL-Nominal image;