Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/standard_system.scala
changeset 50650 8922afc54b3d
parent 50299 f70b3712040f
child 50651 1fe68f1c3069 
--- a/src/Pure/System/standard_system.scala	Mon Dec 31 13:20:23 2012 +0100
+++ b/src/Pure/System/standard_system.scala	Mon Dec 31 13:34:47 2012 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/System/standard_system.scala
-    Module:     PIDE
     Author:     Makarius
 
 Standard system operations, with basic Cygwin/Posix compatibility.
isabelle