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/isabelle_process.scala
changeset 43283 446e6621762d
parent 40848 8662b9b1f123
child 43514 45cf8d5e109a 
--- a/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/isabelle_process.ML
+/*  Title:      Pure/System/isabelle_process.scala
     Author:     Makarius
     Options:    :folding=explicit:collapseFolds=1:
isabelle