| Sat, 22 Oct 2011 19:15:32 +0200 | wenzelm | class Path as abstract datatype; | file | diff | annotate |
| Thu, 07 Jul 2011 22:04:30 +0200 | wenzelm | explicit Document.Node.Header, with master_dir and thy_name; | file | diff | annotate |
| Tue, 05 Jul 2011 21:32:48 +0200 | wenzelm | prefer space_explode/split_lines as in Isabelle/ML; | file | diff | annotate |
| Tue, 05 Jul 2011 21:20:24 +0200 | wenzelm | Path.split convenience; | file | diff | annotate |
| Tue, 05 Jul 2011 10:54:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Jul 2011 16:51:45 +0200 | wenzelm | pervasive Basic_Library in Scala; | file | diff | annotate |
| 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 |