| Sun, 22 Jul 2012 23:31:57 +0200 |
wenzelm |
parallel scheduling of jobs;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 12:00:08 +0200 |
wenzelm |
proper commas_quote;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 11:54:19 +0200 |
wenzelm |
tuned width;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 22:07:00 +0200 |
wenzelm |
less warning in scala-2.10.0-M3;
|
file |
diff |
annotate
|
| Fri, 04 May 2012 15:58:27 +0200 |
wenzelm |
some attempts to make critical errors fit on screen;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 17:44:29 +0100 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 23:35:11 +0100 |
wenzelm |
more explicit development graph;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2012 22:15:19 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2012 20:58:17 +0100 |
wenzelm |
added cat_lines convenience;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 20:31:53 +0100 |
wenzelm |
tuned signature (according to ML version);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 23:29:11 +0200 |
wenzelm |
class Time as abstract datatype;
|
file |
diff |
annotate
|