Select Git revision
branch/default
Isabelle2011-1
Isabelle2012
Isabelle2013
Isabelle2013-1
Isabelle2013-2
Isabelle2014
Isabelle2015
Isabelle2016
Isabelle2016-1
Isabelle2017
Isabelle2018