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 msg;
authorwenzelm
Wed, 03 Feb 1999 16:41:00 +0100
changeset 6186 72abe86d9418
parent 6185 11bf7a8b6a02
child 6187 c6c4626ef693
tuned msg;
src/Pure/mk file | annotate | diff | comparison | revisions 
--- a/src/Pure/mk	Wed Feb 03 16:40:42 1999 +0100
+++ b/src/Pure/mk	Wed Feb 03 16:41:00 1999 +0100
@@ -60,7 +60,7 @@
 
 ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
 [ -z "$ML_SYSTEM" ] && \
-  fail "Missing ML system settings! Probably not run via 'isatool make'?."
+  fail "Missing ML system settings! Probably not run via 'isatool make'."
 
 COMPAT=""
 [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"
isabelle