isabelle: File revisions

etc/isabelle.css

Wed, 29 Jun 2011 15:23:36 +0200	wenzelm	HTML: render control symbols more like Isabelle/Scala/jEdit;	file \| diff \| annotate
Sat, 25 Jun 2011 19:38:35 +0200	wenzelm	entity markup for "type", "constant";	file \| diff \| annotate
Sat, 25 Jun 2011 18:29:51 +0200	wenzelm	tuned color, to avoid confusion with type variables;	file \| diff \| annotate
Sat, 25 Jun 2011 18:24:52 +0200	wenzelm	discontinued generic XML markup -- this is for XHTML with <span/> elements;	file \| diff \| annotate
Sat, 25 Jun 2011 18:15:36 +0200	wenzelm	type classes: entity markup instead of old-style token markup;	file \| diff \| annotate
Sat, 25 Jun 2011 17:17:49 +0200	wenzelm	clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;	file \| diff \| annotate
Sun, 19 Jun 2011 15:22:58 +0200	wenzelm	discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);	file \| diff \| annotate
Sat, 18 Jun 2011 15:11:33 +0200	wenzelm	proper place for config files;	file \| diff \| annotate \| base

isabelle