[isabelle-dev] Status of afp-2015
makarius at sketis.net
Tue Apr 28 15:25:29 CEST 2015
I am confused about the status of afp-2015 wrt. current Isabelle2015
According to my own post on isabelle-users, Isabelle2015-RC1 and
AFP/a44a0c9e17ef correspond to each other. It was a stable point after
days of chaos before entering the final release process.
That relative stability seems to have been lost again:
Unfinished session(s): Call_Arity, Circus, Depth-First-Search,
FunWithFunctions, Girth_Chromatic, KBPs, Launchbury, Markov_Models,
That is without the "slow" sessions.
Is afp-2015 actually tested anywhere?
More information about the isabelle-dev