help="Specify the Tamarin repository to pull from, default'tamarin-central'")
default=None,
help="URL of Tamarin repository to pull from (default: use hg default in js/tamarin/.hg/hgrc; or if that file doesn't exist, use \""+DEFAULT_TAMARIN_REPO+"\".)")