src/Pure/General/markup.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-06 wenzelm 2009-06-06 added markup ML_open, ML_struct;
2009-06-02 wenzelm 2009-06-02 IsabelleProcess: emit status "ready" after initialization and reports;
2009-03-24 wenzelm 2009-03-24 more markup elements for ML programs;
2009-03-20 wenzelm 2009-03-20 report markup for ML tokens;
2009-03-03 wenzelm 2009-03-03 added markup for binding; tuned;
2009-01-16 wenzelm 2009-01-16 moved message markup into Scala layer -- reduced redundancy;
2009-01-15 wenzelm 2009-01-15 replaced command_state by edits/edit;
2009-01-15 wenzelm 2009-01-15 added command_state markup;
2009-01-09 wenzelm 2009-01-09 added running task markup;
2009-01-02 wenzelm 2009-01-02 Markup.no_output;
2009-01-02 wenzelm 2009-01-02 added numeral, which supercedes num, xnum, float; renamed xstr to inner_string;
2008-11-29 nipkow 2008-11-29 New lexical item "float".
2008-09-03 wenzelm 2008-09-03 added const_decl;
2008-09-02 wenzelm 2008-09-02 added fixed_decl, fact_decl, local_fact_decl;
2008-08-28 wenzelm 2008-08-28 removed obsolete get_string; moved get_int to property.ML;
2008-08-27 wenzelm 2008-08-27 type Properties.T;
2008-08-23 wenzelm 2008-08-23 added messages and process information;
2008-08-15 wenzelm 2008-08-15 added ML_antiq, doc_antiq;
2008-08-15 wenzelm 2008-08-15 added is_none; added inner_comment;
2008-08-14 wenzelm 2008-08-14 tuned;
2008-08-14 wenzelm 2008-08-14 added ML_source, doc_source;
2008-08-13 wenzelm 2008-08-13 tuned;
2008-08-12 wenzelm 2008-08-12 renamed unknown_span to malformed_span; added ident; tuned;
2008-08-11 wenzelm 2008-08-11 renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML);
2008-08-10 wenzelm 2008-08-10 added name property operation; added local_fact; renamed proposition to prop (again);
2008-08-09 wenzelm 2008-08-09 added literal;
2008-08-08 wenzelm 2008-08-08 added offset/end_offset;
2008-08-06 wenzelm 2008-08-06 added position_properties'; renamed prop to proposition; added attribute, method;
2008-08-05 wenzelm 2008-08-05 added token;
2008-08-05 wenzelm 2008-08-05 removed axiom; added fact, dynamic_fact, prop;
2008-08-04 wenzelm 2008-08-04 added end_line, end_column properties;
2008-07-20 wenzelm 2008-07-20 renamed command span markup;
2008-07-15 wenzelm 2008-07-15 tuned;
2008-07-15 wenzelm 2008-07-15 support for command status;
2008-07-10 wenzelm 2008-07-10 added prompt markup;
2008-05-23 wenzelm 2008-05-23 added theory_nameN;
2008-04-17 wenzelm 2008-04-17 added markup for fixed variables (local constants);
2008-03-11 wenzelm 2008-03-11 added location;
2008-02-10 wenzelm 2008-02-10 added position_properties;
2008-01-28 wenzelm 2008-01-28 added column property;
2008-01-26 wenzelm 2008-01-26 added theorem group property;
2008-01-06 wenzelm 2008-01-06 removed obsolete prompt and channel markups;
2008-01-03 wenzelm 2008-01-03 moved id to position properties;
2008-01-03 wenzelm 2008-01-03 added id property;
2007-12-06 wenzelm 2007-12-06 added channels; added markup operation, which operates on plain strings instead of raw output;
2007-10-06 wenzelm 2007-10-06 added keyword_decl, command_decl;
2007-09-30 wenzelm 2007-09-30 added internalK, property_internal;
2007-09-17 wenzelm 2007-09-17 avoid direct access to print_mode;
2007-09-07 wenzelm 2007-09-07 added hilite markup;
2007-08-15 wenzelm 2007-08-15 added sendback;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections (for multithreading);
2007-07-12 wenzelm 2007-07-12 added get_string, get_int; tuned;
2007-07-11 wenzelm 2007-07-11 removed ident, space; added antiq; tuned;
2007-07-10 wenzelm 2007-07-10 more markup for inner and outer syntax; added enclose;
2007-07-10 wenzelm 2007-07-10 added print_mode setup (from pretty.ML); removed no_state;
2007-07-10 aspinall 2007-07-10 Add widthN to signature
2007-07-09 wenzelm 2007-07-09 proper position markup; added properties operation; tuned;
2007-07-08 wenzelm 2007-07-08 tuned;
2007-07-08 wenzelm 2007-07-08 added markup for pretty printing;