| Sat, 02 Apr 2016 15:06:41 +0200 |
wenzelm |
obsolete (see 1d977436c1bf);
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 14:17:03 +0200 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 16:58:24 +0200 |
wenzelm |
server-side fonts;
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 13:45:44 +0100 |
wenzelm |
more explicit markup for improper commands;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 22:13:48 +0100 |
wenzelm |
imitate command markup and rendering of Isabelle/jEdit in HTML output;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 20:00:45 +0100 |
wenzelm |
more jEdit colors;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 19:52:26 +0100 |
wenzelm |
proper alt_string markup (cf. 2ceb05ee0331);
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 17:28:36 +0200 |
wenzelm |
more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 10:23:54 +0200 |
wenzelm |
discontinued mostly unused markup for command spans;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 10:18:07 +0200 |
wenzelm |
more visible markup of malformed input as "bad";
|
file |
diff |
annotate
|
| Sat, 10 Mar 2012 23:28:42 +0100 |
wenzelm |
discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 19:36:19 +0200 |
wenzelm |
eliminated markup for plain identifiers (frequent but insignificant);
|
file |
diff |
annotate
|
| 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
|