doc-src/antiquote_setup.ML
2009-03-09 wenzelm 2009-03-09 adapted ThyOutput.antiquotation;
2009-03-08 wenzelm 2009-03-08 use simplified ThyOutput.antiquotation; eliminated obscure structure alias;
2009-03-08 wenzelm 2009-03-08 adapted to structure Long_Name;
2009-03-08 wenzelm 2009-03-08 index_ML: removed spurious writeln introduced in 41ce4f5c97c9 -- it merely produces unreadable LaTeX sources;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; more robust handling of "|" within index;
2009-02-14 wenzelm 2009-02-14 clean_string/clean_name: proper treatment of \<dash>;
2009-02-11 wenzelm 2009-02-11 added "inference" entity;
2008-11-13 wenzelm 2008-11-13 ignore ThyOutput.source flag;
2008-10-21 wenzelm 2008-10-21 ThyOutput: export some auxiliary operations;
2008-09-29 haftmann 2008-09-29 added theory antiquotation
2008-09-17 wenzelm 2008-09-17 simplified ML_Context.eval_in -- expect immutable Proof.context value;
2008-09-16 wenzelm 2008-09-16 check setting and tool; added file;
2008-09-15 wenzelm 2008-09-15 tuned comment;
2008-09-15 wenzelm 2008-09-15 added formal markup for setting, executable, tool;
2008-08-09 wenzelm 2008-08-09 unified Args.T with OuterLex.token, renamed some operations;
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-05-15 wenzelm 2008-05-15 tuned clean_name (underscore);
2008-05-15 wenzelm 2008-05-15 clean_name: replace "_" by "-";
2008-05-15 wenzelm 2008-05-15 clean_string: cover <; added clean_name; output_entity: hyperlink;
2008-05-14 wenzelm 2008-05-14 proper checking of various Isar elements;
2008-05-08 wenzelm 2008-05-08 clean_string: map "_" to "\\_" (best used with underscore.sty);
2008-05-07 wenzelm 2008-05-07 output_entity: ignore ThyOutput.source option;
2008-05-06 wenzelm 2008-05-06 element: isakeyword markup;
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.