src/Pure/mk
changeset 34282 549969a7f582
parent 31317 1f5740424c69
child 43948 8f5add916a99
     1.1 --- a/src/Pure/mk	Wed Jan 06 18:22:43 2010 +0100
     1.2 +++ b/src/Pure/mk	Wed Jan 06 20:00:22 2010 +0100
     1.3 @@ -2,9 +2,9 @@
     1.4  #
     1.5  # Author: Markus Wenzel, TU Muenchen
     1.6  #
     1.7 -# mk - build Pure Isabelle.
     1.8 +# mk - build Isabelle/Pure.
     1.9  #
    1.10 -# Requires proper Isabelle settings environment (cf. IsaMakefile).
    1.11 +# Requires proper Isabelle settings environment.
    1.12  
    1.13  
    1.14  ## diagnostics