| 2011-06-25 | wenzelm | clarified Markup.CLASS vs. HTML.CLASS; | changeset | files |
| 2011-06-25 | wenzelm | tuned color, to avoid confusion with type variables; | changeset | files |
| 2011-06-25 | wenzelm | discontinued generic XML markup -- this is for XHTML with <span/> elements; | changeset | files |
| 2011-06-25 | wenzelm | type classes: entity markup instead of old-style token markup; | changeset | files |
| 2011-06-25 | wenzelm | clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete; | changeset | files |
| 2011-06-25 | wenzelm | clarified Binding.str_of/print: show full prefix + qualifier, which is relevant for print_locale, for example; | changeset | files |
| Loading... | |||