Thu, 27 Sep 2012 15:38:28 +0200 |
wenzelm |
eliminated obsolete HTML/CSS functionality;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 12:10:26 +0200 |
wenzelm |
tuned signature -- make Pretty less dependent on Symbol;
|
file |
diff |
annotate
|
Fri, 27 Jul 2012 14:22:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
Tue, 27 Sep 2011 22:14:15 +0200 |
wenzelm |
observe base URL of rendered document;
|
file |
diff |
annotate
|
Tue, 05 Jul 2011 21:20:24 +0200 |
wenzelm |
Path.split convenience;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Thu, 30 Jun 2011 14:55:01 +0200 |
wenzelm |
prefer Isabelle path algebra;
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 19:19:13 +0200 |
wenzelm |
clarified Markup.CLASS vs. HTML.CLASS;
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 14:11:06 +0200 |
wenzelm |
some unicode chars for special control symbols;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 17:32:13 +0200 |
wenzelm |
tuned -- Map.empty serves as partial function;
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|