src/Pure/General/path.scala
2011-10-22 ago class Path as abstract datatype;
2011-07-07 ago explicit Document.Node.Header, with master_dir and thy_name;
2011-07-05 ago prefer space_explode/split_lines as in Isabelle/ML;
2011-07-05 ago Path.split convenience;
2011-07-05 ago tuned;
2011-07-04 ago pervasive Basic_Library in Scala;
2011-06-30 ago proper fold order;
2011-06-30 ago more Path operations;
2011-06-30 ago tuned comments;
2011-06-30 ago abstract algebra of file paths in Scala (cf. path.ML);