| Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 21:59:15 +0200 |
wenzelm |
one extra space to accomodate symbolic indentifiers etc.;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 18:23:50 +0200 |
wenzelm |
more detailed token markup, including command kind as sub_kind;
|
file |
diff |
annotate
|
| Sat, 29 May 2010 20:49:04 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sat, 29 May 2010 19:46:29 +0200 |
wenzelm |
explicit markup for forked goals, as indicated by Goal.fork;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 22:21:08 +0200 |
wenzelm |
accumulate only local results -- no proper history support yet;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 21:36:38 +0200 |
wenzelm |
slightly odd workaround to ignore markup that is typically displaced;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 00:47:15 +0200 |
wenzelm |
Command.toString: include id for debugging;
|
file |
diff |
annotate
|
| Mon, 24 May 2010 23:01:51 +0200 |
wenzelm |
renamed "rev" to "reverse" following usual Scala conventions;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 20:10:45 +0200 |
wenzelm |
simplified message markup, using plain XML.Elem directly;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 22:00:23 +0200 |
wenzelm |
output symbolic pretty printing markup and format in the front end;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 23:09:34 +0200 |
wenzelm |
simplified via Position extractors;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 22:23:45 +0200 |
wenzelm |
some rearrangement of Scala sources;
|
file |
diff |
annotate
| base
|