| Thu, 30 Jun 2011 13:21:41 +0200 | wenzelm | standardized use of Path operations; | changeset | files |
| Thu, 30 Jun 2011 11:15:36 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 30 Jun 2011 00:09:57 +0200 | wenzelm | abstract algebra of file paths in Scala (cf. path.ML); | changeset | files |
| Thu, 30 Jun 2011 00:01:00 +0200 | wenzelm | proper Path.print; | changeset | files |
| Wed, 29 Jun 2011 23:43:48 +0200 | wenzelm | basic operations on lists and strings; | changeset | files |
| Wed, 29 Jun 2011 21:34:16 +0200 | wenzelm | tuned signature; | changeset | files |