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.
Poplog/PML: ML_SUFFIX=.psv;
authorwenzelm
Sat, 08 Oct 2005 20:15:32 +0200
changeset 17793 017e57b1f4d0
parent 17792 4a34fd6884b1
child 17794 87fe1dd02d34
Poplog/PML: ML_SUFFIX=.psv;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Oct 08 20:15:31 2005 +0200
+++ b/etc/settings	Sat Oct 08 20:15:32 2005 +0200
@@ -48,7 +48,7 @@
 #ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin"
 #ML_PLATFORM=""
 #ML_OPTIONS="-noinit"
-
+#ML_SUFFIX=".psv"
 
 
 ###
isabelle