--- a/src/Pure/Tools/sync.scala Tue Sep 13 09:45:02 2022 +0200
+++ b/src/Pure/Tools/sync.scala Tue Sep 13 09:59:08 2022 +0200
@@ -89,7 +89,7 @@
var afp_rev = ""
var dry_run = false
var rev = ""
- var port = SSH.default_port
+ var port = 0
var verbose = false
val getopts = Getopts("""
@@ -107,7 +107,7 @@
-a REV explicit AFP revision (default: state of working directory)
-n no changes: dry-run
-r REV explicit revision (default: state of working directory)
- -p PORT explicit SSH port (default: """ + SSH.default_port + """)
+ -p PORT explicit SSH port
-v verbose
Synchronize Isabelle + AFP repositories, based on "isabelle hg_sync".