# HG changeset patch
# User wenzelm
# Date 1547913198 -3600
# Node ID 9c6651cd614165fd11c0cf048b345148ba585f9c
# Parent 1fb204399d8d04aa2a773d4bfd493ebd3032c32a
clarified URLs: prefer sketis over bitbucket;
diff -r 1fb204399d8d -r 9c6651cd6141 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST Sat Jan 19 07:19:16 2019 +0000
+++ b/Admin/Release/CHECKLIST Sat Jan 19 16:53:18 2019 +0100
@@ -45,7 +45,7 @@
- diff NEWS wrt. last official release, which is read-only;
-- update https://bitbucket.org/isabelle_project/isabelle-website
+- update https://isabelle.sketis.net/repos/isabelle-website
- check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
@@ -96,14 +96,6 @@
https://docs.docker.com/docker-cloud/builds/push-images
-Final release stage
-===================
-
-- various .hg/hgrc files:
- default = http://bitbucket.org/isabelle_project/isabelle-release
- default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
-
-
Post-release
============
diff -r 1fb204399d8d -r 9c6651cd6141 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala Sat Jan 19 07:19:16 2019 +0000
+++ b/src/Pure/Admin/build_polyml.scala Sat Jan 19 16:53:18 2019 +0100
@@ -249,7 +249,7 @@
Options are:
-M DIR msys root directory (for Windows)
-m ARCH processor architecture (32=x86, 64=x86_64, default: x86)
- -s DIR sha1 sources, see https://bitbucket.org/isabelle_project/sha1
+ -s DIR sha1 sources, see https://isabelle.sketis.net/repos/sha1
Build Poly/ML in the ROOT directory of its sources, with additional
CONFIGURE_OPTIONS (e.g. --without-gmp).
@@ -284,7 +284,7 @@
Usage: isabelle build_polyml_component [OPTIONS] TARGET
Options are:
- -s DIR sha1 sources, see https://bitbucket.org/isabelle_project/sha1
+ -s DIR sha1 sources, see https://isabelle.sketis.net/repos/sha1
Make skeleton for Poly/ML component in directory TARGET.
""",