src/Pure/Thy/html.ML
2007-07-23 wenzelm 2007-07-23 PrintMode.with_modes;
2007-07-10 wenzelm 2007-07-10 export html_mode, begin_document, end_document;
2007-07-10 wenzelm 2007-07-10 Markup.add_mode;
2007-07-07 wenzelm 2007-07-07 simplified pretty token metric: type int; added command markup; token translations: proper treatment of skolems; separate print_mode setup for Output/Pretty;
2007-04-26 wenzelm 2007-04-26 renamed some old names Theory.xxx to Sign.xxx;
2007-01-19 wenzelm 2007-01-19 results: proper context;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-09-27 wenzelm 2006-09-27 reverted to 1.58;
2006-09-18 wenzelm 2006-09-18 output: uninterpreted raw symbols -- these are usually LaTeX macros;
2006-07-29 wenzelm 2006-07-29 rename legacy_pretty_thm to pretty_thm_legacy;
2006-07-27 wenzelm 2006-07-27 ProofContext.legacy_pretty_thm;
2006-04-09 wenzelm 2006-04-09 results: smart_pretty_thm uses adhoc proof context if possible;
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2006-03-14 wenzelm 2006-03-14 Output.add_mode: keyword component;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-09-17 wenzelm 2005-09-17 added with_charset: string -> ('a -> 'b) -> 'a -> 'b;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-31 wenzelm 2005-08-31 added line break for 'uses';
2005-08-28 wenzelm 2005-08-28 output \<^loc> as 'loc' span; tuned;
2005-08-18 wenzelm 2005-08-18 replace freeze by 'setmp show_question_marks false';
2005-08-16 wenzelm 2005-08-16 begin_index: list of docs;
2005-06-05 wenzelm 2005-06-05 present new-style theory header, with 'imports' and 'uses';
2005-06-02 wenzelm 2005-06-02 html_syms table;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-11-29 kleing 2004-11-29 render \<circ> as o not &circ; (which is ^)
2004-06-22 wenzelm 2004-06-22 tuned output;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-20 wenzelm 2004-06-20 Symbol.encode_raw;
2004-05-29 wenzelm 2004-05-29 handle raw symbols; Output.add_mode; more robust handling of sub/superscript;
2004-05-21 wenzelm 2004-05-21 output_tym: removed duplicate clauses;
2004-04-16 berghofe 2004-04-16 Replaced quote by Library.quote, since quote now refers to Symbol.quote
2004-04-15 wenzelm 2004-04-15 fixed width; tuned;
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-04-14 kleing 2004-04-14 prod and sum
2004-04-13 kleing 2004-04-13 convert symbols to HTML 4.0 character entities, convert some common remaining symbols to ASCII (e.g. lbrakk -> [|)
2004-04-12 kleing 2004-04-12 use css use Graphrowser.jar instead of .class files
2004-04-09 kleing 2004-04-09 treat sub/super scripts
2003-06-30 webertj 2003-06-30 Added DOCTYPE and Content-type to HTML documents.
2002-08-27 wenzelm 2002-08-27 simplified results;
2001-12-06 wenzelm 2001-12-06 tuned line breaks in HTML source;
2001-11-11 wenzelm 2001-11-11 present multi_result;
2001-01-21 wenzelm 2001-01-21 setup indent;
2001-01-11 wenzelm 2001-01-11 do not hilite "xnum";
2001-01-10 wenzelm 2001-01-10 added \<dieresis>, \<acute>, \<cedilla>, \<emptyset>;
2001-01-09 wenzelm 2001-01-09 replaced \<macron> by \<inverse>;
2000-12-01 wenzelm 2000-12-01 append print modes;
2000-09-15 wenzelm 2000-09-15 handle more symbols;
2000-07-23 wenzelm 2000-07-23 removed all_sessions;
2000-06-07 berghofe 2000-06-07 Removed codebase attribute from applet_pages.
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-02-04 wenzelm 2000-02-04 tuned;
2000-01-05 wenzelm 2000-01-05 chapter;
1999-10-11 wenzelm 1999-10-11 files: separate by " ";
1999-10-05 wenzelm 1999-10-05 begin_index: document; verbatim_source;
1999-09-29 wenzelm 1999-09-29 more sections;
1999-09-22 wenzelm 1999-09-22 present results;
1999-09-01 wenzelm 1999-09-01 added theorems; begin_theory: implicit files;
1999-06-01 wenzelm 1999-06-01 tuned markup;