Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/PLATFORMS
changeset 63520 2803d2b8f85d
parent 62011 03e69b1bf359
child 64337 e3b57c8046cb 
--- a/Admin/PLATFORMS	Sun Jul 17 11:47:35 2016 +0200
+++ b/Admin/PLATFORMS	Tue Jul 19 09:55:03 2016 +0200
@@ -30,8 +30,8 @@
 following reference versions (which have been selected to be neither
 too old nor too new):
 
-  x86-linux         Ubuntu 10.04 LTS
-  x86_64-linux      Ubuntu 10.04 LTS
+  x86-linux         Ubuntu 12.04 LTS
+  x86_64-linux      Ubuntu 12.04 LTS
 
   x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
                     Mac OS X 10.9 Mavericks (macbroy2)
isabelle