Thu, 12 Jan 2012 20:51:28 +0100 |
wenzelm |
clarified mkString: no extra line-breaks for XML.Body;
|
file |
diff |
annotate
|
Sat, 07 Jan 2012 12:39:46 +0100 |
wenzelm |
accumulate status as regular markup for command range;
|
file |
diff |
annotate
|
Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
Fri, 11 Nov 2011 14:24:38 +0100 |
wenzelm |
prefer statically typed Text.Markup;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 15:41:22 +0200 |
wenzelm |
maintain name of *the* enclosing node as part of command -- avoid full document traversal;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 16:04:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 13 Aug 2011 13:48:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
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
|