--- a/src/Pure/System/isabelle_system.scala Wed Oct 02 19:49:15 2013 +0200
+++ b/src/Pure/System/isabelle_system.scala Wed Oct 02 19:49:31 2013 +0200
@@ -127,6 +127,7 @@
def get_cygwin_root(): String = getenv_strict("CYGWIN_ROOT")
+
/** file-system operations **/
/* jvm_path */