2019-03-24 |
wenzelm |
more accurate HTML rendering;
|
file |
diff |
annotate
|
2018-11-27 |
wenzelm |
adjusted to fc221fa79741;
|
file |
diff |
annotate
|
2018-11-27 |
wenzelm |
adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
|
file |
diff |
annotate
|
2018-11-24 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
2018-01-03 |
wenzelm |
HTML output for Markdown elements;
|
file |
diff |
annotate
|
2017-12-22 |
wenzelm |
HTML rendering of \<^control> as in Isabelle/jEdit;
|
file |
diff |
annotate
|
2017-06-12 |
wenzelm |
avoid overlapping line background, notably for "quoted";
|
file |
diff |
annotate
|
2017-06-12 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
2017-06-08 |
wenzelm |
more HTML rendering as in Isabelle/jEdit;
|
file |
diff |
annotate
|
2017-06-08 |
wenzelm |
explicit foreground color, for the sake of dark theme in VSCode;
|
file |
diff |
annotate
|
2017-06-01 |
wenzelm |
generate CSS for Isabelle fonts;
|
file |
diff |
annotate
|
2017-05-31 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
2017-05-31 |
wenzelm |
modernized generated HTML;
|
file |
diff |
annotate
|
2017-05-31 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
2017-05-27 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
2017-05-27 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-05-26 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
2017-05-26 |
wenzelm |
support for message underline and tooltips;
|
file |
diff |
annotate
|
2017-05-21 |
wenzelm |
HTML rendering based on Isabelle/jEdit colors;
|
file |
diff |
annotate
|
2017-05-14 |
wenzelm |
style for <dl> that is reminiscent of LaTeX;
|
file |
diff |
annotate
|
2017-03-02 |
wenzelm |
clarified fonts;
|
file |
diff |
annotate
|
2016-08-12 |
wenzelm |
more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
|
file |
diff |
annotate
|
2016-04-02 |
wenzelm |
obsolete (see 1d977436c1bf);
|
file |
diff |
annotate
|
2016-04-02 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
2015-10-09 |
wenzelm |
server-side fonts;
|
file |
diff |
annotate
|
2014-12-10 |
wenzelm |
more explicit markup for improper commands;
|
file |
diff |
annotate
|
2014-12-09 |
wenzelm |
imitate command markup and rendering of Isabelle/jEdit in HTML output;
|
file |
diff |
annotate
|
2014-12-09 |
wenzelm |
more jEdit colors;
|
file |
diff |
annotate
|
2014-12-09 |
wenzelm |
proper alt_string markup (cf. 2ceb05ee0331);
|
file |
diff |
annotate
|
2014-01-18 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
2012-09-24 |
wenzelm |
more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
|
file |
diff |
annotate
|
2012-08-10 |
wenzelm |
discontinued mostly unused markup for command spans;
|
file |
diff |
annotate
|
2012-08-10 |
wenzelm |
more visible markup of malformed input as "bad";
|
file |
diff |
annotate
|
2012-03-10 |
wenzelm |
discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
|
file |
diff |
annotate
|
2011-09-04 |
wenzelm |
eliminated markup for plain identifiers (frequent but insignificant);
|
file |
diff |
annotate
|
2011-06-29 |
wenzelm |
HTML: render control symbols more like Isabelle/Scala/jEdit;
|
file |
diff |
annotate
|
2011-06-25 |
wenzelm |
entity markup for "type", "constant";
|
file |
diff |
annotate
|
2011-06-25 |
wenzelm |
tuned color, to avoid confusion with type variables;
|
file |
diff |
annotate
|
2011-06-25 |
wenzelm |
discontinued generic XML markup -- this is for XHTML with <span/> elements;
|
file |
diff |
annotate
|
2011-06-25 |
wenzelm |
type classes: entity markup instead of old-style token markup;
|
file |
diff |
annotate
|
2011-06-25 |
wenzelm |
clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
|
file |
diff |
annotate
|
2011-06-19 |
wenzelm |
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
|
file |
diff |
annotate
|
2011-06-18 |
wenzelm |
proper place for config files;
|
file |
diff |
annotate
| base
|