Thu, 12 Aug 2010 13:42:05 +0200 |
wenzelm |
tuned scope;
|
file |
diff |
annotate
|
Sun, 08 Aug 2010 19:36:31 +0200 |
wenzelm |
explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
|
file |
diff |
annotate
|
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
|