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.
do not mention poly 3.x any more (it is untested)
authorkleing
Sat, 17 Apr 2004 13:56:59 +0200
changeset 14613 f0e4b502a208
parent 14612 f0f50362cb67
child 14614 196ff8d245bf
do not mention poly 3.x any more (it is untested)
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Apr 17 13:56:08 2004 +0200
+++ b/etc/settings	Sat Apr 17 13:56:59 2004 +0200
@@ -32,7 +32,7 @@
 elif [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
   # maybe a shrink-wrapped polyml on x86-linux ...
 
-  # Poly/ML 3.x, 4.0, 4.1, 4.1.x
+  # Poly/ML 4.0, 4.1, 4.1.x
   # include version number, needed for choosing right options
   ML_SYSTEM=polyml-4.1.3    
   # processor/OS type
isabelle