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/components/PLATFORMS
changeset 78773 9198e785d3d7
parent 78771 d7f4c5c7bebb
child 78777 3b424f9cd5eb 
--- a/Admin/components/PLATFORMS	Sat Oct 14 15:09:20 2023 +0200
+++ b/Admin/components/PLATFORMS	Sat Oct 14 15:16:40 2023 +0200
@@ -33,7 +33,7 @@
 
 Official platforms:
 
-  x86_64-linux      Ubuntu 16.04 LTS
+  x86_64-linux      Ubuntu 18.04 LTS
 
   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (???)
isabelle