diff -r eedea6f0b37e -r 549969a7f582 src/Pure/mk
--- a/src/Pure/mk	Wed Jan 06 18:22:43 2010 +0100
+++ b/src/Pure/mk	Wed Jan 06 20:00:22 2010 +0100
@@ -2,9 +2,9 @@
 #
 # Author: Markus Wenzel, TU Muenchen
 #
-# mk - build Pure Isabelle.
+# mk - build Isabelle/Pure.
 #
-# Requires proper Isabelle settings environment (cf. IsaMakefile).
+# Requires proper Isabelle settings environment.
 
 
 ## diagnostics