doc-src/antiquote_setup.ML
2008-05-02 wenzelm 2008-05-02 output_entity: added \mbox{} to prevent hyphenation;
2008-05-02 wenzelm 2008-05-02 clean_string: handle { };
2008-04-28 wenzelm 2008-04-28 proper command/keyword markup;
2008-04-26 wenzelm 2008-04-26 added setup for Isar entities; tuned;
2008-04-23 wenzelm 2008-04-23 misc cleanup;
2008-04-17 wenzelm 2008-04-17 pretty_term: no revert_skolems here, but auto_fixes (token translations will do the rest);
2008-03-28 haftmann 2008-03-28 some styling
2008-03-28 wenzelm 2008-03-28 reorganized signature of ML_Context;
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-09-15 haftmann 2007-09-15 fixed title
2007-08-09 wenzelm 2007-08-09 adapted ThyLoad.check_thy;
2007-07-19 berghofe 2007-07-19 Added named_thms antiquotation.
2007-07-08 wenzelm 2007-07-08 renamed ML_exc to ML_exn;
2007-02-10 haftmann 2007-02-10 added antiquotation for exceptions
2007-01-19 wenzelm 2007-01-19 renamed IsarOutput to ThyOutput; moved ML context stuff to from Context to ML_Context;
2007-01-19 wenzelm 2007-01-19 adapted ML context operations;
2006-11-15 wenzelm 2006-11-15 Auxiliary antiquotations for Isabelle manuals.