doc-src/antiquote_setup.ML
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.