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.
Linux platform base-line is Ubuntu 12.04 LTS;
authorwenzelm
Tue, 19 Jul 2016 09:55:03 +0200
changeset 63520 2803d2b8f85d
parent 63519 78401d628718
child 63521 32da860241b8
Linux platform base-line is Ubuntu 12.04 LTS;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- 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