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.
updated x86_64-linux base line;
authorwenzelm
Wed, 23 Jan 2019 20:27:00 +0100
changeset 69725 88b8bc6a6e5f
parent 69724 2444c8b85aac
child 69726 461f0615faa3
updated x86_64-linux base line;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Wed Jan 23 17:20:35 2019 +0100
+++ b/Admin/PLATFORMS	Wed Jan 23 20:27:00 2019 +0100
@@ -31,7 +31,7 @@
 following base-line versions (which have been selected to be neither
 too old nor too new):
 
-  x86_64-linux      Ubuntu 12.04 LTS
+  x86_64-linux      Ubuntu 14.04 LTS
 
   x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
isabelle