src/Pure/Thy/html.ML
Thu, 08 Jun 2017 23:04:07 +0200 wenzelm more HTML rendering as in Isabelle/jEdit;
Wed, 21 Sep 2016 22:44:24 +0200 wenzelm \<^raw> output is intended for LaTeX;
Mon, 05 Sep 2016 23:11:00 +0200 wenzelm clarified modules;
Sun, 06 Mar 2016 16:19:02 +0100 wenzelm clarified treatment of fragments of Isabelle symbols during bootstrap;
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Fri, 09 Oct 2015 21:16:00 +0200 wenzelm more direct HTML presentation, without print mode;
Fri, 09 Oct 2015 19:25:13 +0200 wenzelm output HTML text according to Isabelle/Scala Symbol.Interpretation;
Fri, 09 Oct 2015 16:58:24 +0200 wenzelm server-side fonts;
Mon, 26 Jan 2015 13:48:29 +0100 wenzelm prefer plain session_graph.pdf over GraphBrowser applet;
Sat, 18 Jan 2014 21:03:54 +0100 wenzelm HTML output for \<newline>;
Sat, 18 Jan 2014 19:15:12 +0100 wenzelm support for nested text cartouches;
Sat, 16 Nov 2013 21:29:18 +0100 wenzelm simplified HTML linefeed (again, see 041dc6d8d344);
Sat, 16 Nov 2013 21:18:31 +0100 wenzelm simplified HTML theory presentation;
Sat, 16 Nov 2013 20:20:09 +0100 wenzelm removed remains of HTML presentation of auxiliary files -- inactive since Isabelle2013;
Sun, 25 Aug 2013 20:57:09 +0200 wenzelm discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Tue, 12 Mar 2013 16:47:24 +0100 wenzelm discontinued "isabelle usedir" option -r (reset session path);
Mon, 26 Nov 2012 19:56:09 +0100 wenzelm removed remains of Oheimb's double-space (cf. 0a5af667dc75);
Sun, 25 Nov 2012 19:49:24 +0100 wenzelm Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Fri, 03 Aug 2012 19:08:15 +0200 wenzelm prefer calligrapic \<RR> \<II> over \<Re> \<Im> for "screen" display (NB: official unicode defines only one version of these glyphs, unlike TeX);
Sat, 10 Mar 2012 23:45:47 +0100 wenzelm simplified span class in conformance to Scala version;
Mon, 28 Nov 2011 22:05:32 +0100 wenzelm separate module for concrete Isabelle markup;
Wed, 29 Jun 2011 15:23:36 +0200 wenzelm HTML: render control symbols more like Isabelle/Scala/jEdit;
Sat, 25 Jun 2011 18:15:36 +0200 wenzelm type classes: entity markup instead of old-style token markup;
Sun, 19 Jun 2011 15:22:58 +0200 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
Sun, 09 Jan 2011 13:58:31 +0100 wenzelm more scalable HTML.output_width;
Fri, 03 Dec 2010 21:30:41 +0100 wenzelm eliminated fragile HTML.with_charset -- always use utf-8;
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Thu, 22 Jul 2010 22:50:35 +0200 wenzelm refrain from generating <hr/> and from "hiding" it in isabelle.css -- the latter might be used in other situations as well;
Thu, 22 Jul 2010 22:39:31 +0200 wenzelm generic external source files -- nothing special about ML here;
Thu, 27 May 2010 18:10:37 +0200 wenzelm renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
Sun, 06 Dec 2009 23:09:14 +0100 wenzelm output_syms: permissive treatment of control symbols, cf. Scala version;
Sat, 05 Dec 2009 17:30:47 +0100 wenzelm output linefeed as </br> -- workaround problem with <pre> in Lobo Browser 0.98.4;
Sat, 05 Dec 2009 16:39:49 +0100 wenzelm added markup for hidden text;
Fri, 04 Dec 2009 20:03:37 +0100 wenzelm output "'" as "&#39;" which is a bit more portable ("&apos;" is defined in XML/XHTML, but not in old-style HTML4);
Tue, 27 Oct 2009 13:15:20 +0100 wenzelm critical comments;
Wed, 30 Sep 2009 23:44:23 +0200 wenzelm eliminated dead code;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Tue, 18 Nov 2008 18:25:45 +0100 wenzelm tuned;
Fri, 15 Aug 2008 17:03:56 +0200 wenzelm fixed DOCTYPE -- XHTML is case-sensitive!
Wed, 13 Aug 2008 20:57:37 +0200 wenzelm removed obsolete verbatim_source, results, chapter, section etc.;
Mon, 11 Aug 2008 22:06:51 +0200 wenzelm <applet>: more XHTML 1.0 Transitional conformance;
Mon, 11 Aug 2008 20:56:32 +0200 wenzelm <pre>: removed xml:space, is already default;
Mon, 11 Aug 2008 18:37:51 +0200 wenzelm produce XHTML 1.0 Transitional;
Tue, 08 Jul 2008 16:19:23 +0200 wenzelm removed unused href_opt_name;
Thu, 17 Apr 2008 16:30:55 +0200 wenzelm replaced token translations by common markup;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Tue, 18 Mar 2008 23:25:06 +0100 wenzelm theory loader: discontinued *attached* ML scripts;
Thu, 21 Feb 2008 21:31:52 +0100 wenzelm more elaborate structure Distribution (filled-in by makedist);
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Mon, 13 Aug 2007 18:10:22 +0200 wenzelm Lexicon.read_indexname/nat/variable;
Tue, 31 Jul 2007 21:19:23 +0200 wenzelm with_charset: setmp_noncritical;
Mon, 23 Jul 2007 16:45:03 +0200 wenzelm PrintMode.with_modes;
Tue, 10 Jul 2007 23:29:51 +0200 wenzelm export html_mode, begin_document, end_document;
Tue, 10 Jul 2007 16:45:06 +0200 wenzelm Markup.add_mode;
Sat, 07 Jul 2007 00:15:03 +0200 wenzelm simplified pretty token metric: type int;
Thu, 26 Apr 2007 12:00:05 +0200 wenzelm renamed some old names Theory.xxx to Sign.xxx;
Fri, 19 Jan 2007 22:08:31 +0100 wenzelm results: proper context;
less more (0) -100 -60 tip