src/Pure/Thy/html.ML
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;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Wed, 27 Sep 2006 21:53:55 +0200 wenzelm reverted to 1.58;
Mon, 18 Sep 2006 19:12:48 +0200 wenzelm output: uninterpreted raw symbols -- these are usually LaTeX macros;
Sat, 29 Jul 2006 00:51:36 +0200 wenzelm rename legacy_pretty_thm to pretty_thm_legacy;
Thu, 27 Jul 2006 13:43:13 +0200 wenzelm ProofContext.legacy_pretty_thm;
Sun, 09 Apr 2006 18:51:23 +0200 wenzelm results: smart_pretty_thm uses adhoc proof context if possible;
Tue, 21 Mar 2006 12:18:15 +0100 wenzelm avoid polymorphic equality;
Tue, 14 Mar 2006 22:06:33 +0100 wenzelm Output.add_mode: keyword component;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Sat, 17 Sep 2005 18:11:30 +0200 wenzelm added with_charset: string -> ('a -> 'b) -> 'a -> 'b;
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
less more (0) -100 -60 tip