etc/isabelle.css
2012-09-24 wenzelm more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
2012-08-10 wenzelm discontinued mostly unused markup for command spans;
2012-08-10 wenzelm more visible markup of malformed input as "bad";
2012-03-10 wenzelm discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
2011-09-04 wenzelm eliminated markup for plain identifiers (frequent but insignificant);
2011-06-29 wenzelm HTML: render control symbols more like Isabelle/Scala/jEdit;
2011-06-25 wenzelm entity markup for "type", "constant";
2011-06-25 wenzelm tuned color, to avoid confusion with type variables;
2011-06-25 wenzelm discontinued generic XML markup -- this is for XHTML with <span/> elements;
2011-06-25 wenzelm type classes: entity markup instead of old-style token markup;
2011-06-25 wenzelm clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
2011-06-19 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-18 wenzelm proper place for config files;
less more (0) tip