Select Git revision
- Branches 5
- branch/default
- branch/deep_learning
- branch/remove-config
- branch/config default protected
- branch/depends-on
- Tags 11
- Isabelle2018
- Isabelle2017
- Isabelle2016-1
- Isabelle2016
- Isabelle2015
- Isabelle2014
- Isabelle2013-1
- Isabelle2013-2
- Isabelle2013
- Isabelle2012
- Isabelle2011-1
Name | Last commit | Last update |
---|---|---|