Commit e048af31 authored by kleing's avatar kleing
Browse files

Update README for Heptapod

--HG--
branch : devel
parent f4d20b0c2eeb
......@@ -4,10 +4,10 @@ The Archive of Formal Proofs
This is the mercurial repository for the [Archive of Formal Proofs][1] (AFP).
The main development version of the AFP repository is hosted at
<https://bitbucket.org/isa-afp/afp-devel>.
<https://foss.heptapod.net/isa-afp/afp-devel>.
If you are an AFP author or Isabelle maintainer, you can get push access to
this repository by sending a request, including your bitbucket login, to
this repository by sending a request, including your Heptapod login, to
`afp-submit at in.tum.de`
Guidelines for maintaining entries can be found in the `doc/` directory.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment