more operations;

clarified signature;

tuned signature;

tuned signature;

more operations;

expand relatively to given environment, notably remote HOME;

tuned;

tuned signature, according to ML version;

tuned;

misc tuning, based on warnings by IntelliJ IDEA;

added update_cartouches tool;

standardize to implode_short form;
clarified treatment of directories;

clarified according to ML version;

clarified path checks: avoid crash of rendering due to spurious errors;

prefer concrete list append;

more general backup files;

tuned;

tuned messages;

reject path variable nesting explicitly;

simplified Path vs. JVM File operations;

more explicit checks during parsing;

pass build options to ML;
some imitation of usedir Session.init;

disallow quotes in path specifications -- extra paranoia;

more explicit java.io.{File => JFile};

further imitation of "usedir" shell script;
Pure/build observes build_images option, unlike traditional version;
tuned signature;

USER_HOME settings variable points to cross-platform user home directory;

prefer final ADTs -- prevent ooddities;

class Path as abstract datatype;

explicit Document.Node.Header, with master_dir and thy_name;
imitate ML path operations more closely;

prefer space_explode/split_lines as in Isabelle/ML;

Path.split convenience;

tuned;

pervasive Basic_Library in Scala;
tuned;

proper fold order;

more Path operations;
tuned signature;

tuned comments;

abstract algebra of file paths in Scala (cf. path.ML);