Menu
▾
▴
Tree [5d0678] default Isabelle2017 / History
| File | Date | Author | Commit |
|---|---|---|---|
| admin | 2017-08-07 |
Lars Hupel
|
[42cf17] merged from afp-2016-1 |
| doc | 2016-12-18 |
gerwin.klein@nicta.com.au
|
[265c2a] admin/publish: pick release version automatically |
| etc | 2014-03-15 |
kleing
|
[404577] build verbosely by default |
| metadata | 2017-09-20 |
immler
|
[b35511] metadata |
| thys | 2017-09-28 |
wenzelm
|
[5d0678] updated imports; |
| tools | 2017-08-25 |
Lars Hupel
|
[253ece] experimental tool to extract entry dependencies... |
| web | 2017-09-19 |
Rene Thiemann
|
[5876ee] merged from afp-2016-1 |
| .hgignore | 2017-02-26 |
haftmann
|
[d0bd0f] .hgignore |
| .hgtags | 2016-11-30 |
kleing
|
[61df7b] Added tag Isabelle2016-1 for changeset 84bcab88... |
| README.md | 2016-04-24 |
gerwin.klein@nicta.com.au
|
[38c899] afp.sf.net -> isa-afp.org |
Read Me
The Archive of Formal Proofs
This is the mercurial repository for the Archive of Formal Proofs (AFP).
The main development version of the AFP repository is hosted at
https://bitbucket.org/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
afp-submit at in.tum.de
Guidelines for maintaining entries can be found in the doc/ directory.
