Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Wed, 02 Oct 2013 19:49:31 +0200
changeset 54039 c931190b8c5c
parent 54038 f522477d671d
child 54040 04715fecbda6
child 54045 369a4a14583a
child 54047 83fb090dae9e
tuned whitespace;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle