src/Tools/jEdit/src/isabelle_vfs.scala
Sun, 28 Apr 2019 12:34:56 +0200 wenzelm proper treatment of root as directory;
Wed, 30 Jan 2019 16:32:06 +0100 wenzelm clarified modules;
Wed, 30 Jan 2019 14:40:23 +0100 wenzelm tuned;
Wed, 30 Jan 2019 14:35:15 +0100 wenzelm clarified modules;
less more (0) tip