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.
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
authorwenzelm
Wed, 12 Feb 2020 21:18:04 +0100
changeset 71440 8b0b8b9ea653
parent 71439 760e19aa9b09
child 71441 4e66867fd63f
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Wed Feb 12 16:30:23 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Feb 12 21:18:04 2020 +0100
@@ -63,7 +63,7 @@
   val alternative_system_port = 222
   val default_server_port = 2222
 
-  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-2.8.2.tar.gz"
+  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
isabelle