2007-07-10 wenzelm treat OuterLex.Error;
2007-07-10 wenzelm separated Malformed (symbolic char) from Error (bad input);
2007-07-10 wenzelm Output.escape_malformed;
2007-07-10 wenzelm added escape_malformed (failsafe);
2007-07-10 wenzelm Basic editing of theory sources.
2007-07-10 wenzelm tuned;
2007-07-10 wenzelm export html_mode, begin_document, end_document;
2007-07-10 wenzelm renamed XML.Rawtext to XML.Output;
2007-07-10 wenzelm export get_lexicons;
2007-07-10 wenzelm added kind_of;
2007-07-10 wenzelm Markup.enclose;
2007-07-10 wenzelm more markup for inner and outer syntax;
2007-07-10 wenzelm simplified funpow, untabify;
2007-07-10 wenzelm added Thy/thy_edit.ML;
2007-07-10 wenzelm added some markup for outer syntax;
2007-07-10 haftmann clarified merge of module names
2007-07-10 haftmann now a monolithic module
2007-07-10 haftmann now works with SML/NJ
2007-07-10 haftmann tuned
2007-07-10 haftmann improvement for code names
2007-07-10 haftmann removed proof dependency on transitivity theorems
2007-07-10 haftmann moved lfp_induct2 here
2007-07-10 haftmann clarified import
2007-07-10 haftmann moved lfp_induct2 to Relation.thy
2007-07-10 haftmann moved some finite lemmas here
2007-07-10 haftmann moved finite lemmas to Finite_Set.thy
2007-07-10 wenzelm added print_mode setup (from pretty.ML);
2007-07-10 wenzelm Markup.add_mode;
2007-07-10 wenzelm removed no_state markup -- produce empty state;
2007-07-10 wenzelm Markup.output;
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip