| Thu, 30 Jun 2011 14:51:32 +0200 | wenzelm | proper fold order; | file | diff | annotate |
| Thu, 30 Jun 2011 14:03:31 +0200 | wenzelm | more Path operations; | file | diff | annotate |
| Thu, 30 Jun 2011 11:15:36 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 30 Jun 2011 00:09:57 +0200 | wenzelm | abstract algebra of file paths in Scala (cf. path.ML); | file | diff | annotate |