| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2012 11:07:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 12:26:41 +0200 |
wenzelm |
maintain set of source digests, including relevant parts of session entry;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 20:59:02 +0200 |
wenzelm |
more SHA1.digest operations;
|
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
|
| Sat, 09 Jul 2011 12:56:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:21:24 +0100 |
wenzelm |
explicit type SHA1.digest;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 23:23:29 +0200 |
wenzelm |
digesting strings according to SHA-1 -- Scala version;
|
file |
diff |
annotate
|