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.
fixed example;
authorwenzelm
Tue, 21 Mar 2006 15:38:53 +0100
changeset 19312 bb3cbf03a021
parent 19311 e3d48fa3908e
child 19313 45c9fc22904b
fixed example;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Mar 21 12:18:22 2006 +0100
+++ b/etc/settings	Tue Mar 21 15:38:53 2006 +0100
@@ -32,7 +32,7 @@
 
 # Poly/ML 4.2.0 (manual settings)
 #ML_PLATFORM=x86-linux
-#ML_HOME=/usr/local/polyml/x86-linux"
+#ML_HOME=/usr/local/polyml/x86-linux
 #ML_SYSTEM=polyml-4.2.0
 #ML_OPTIONS="-H 80"
isabelle