[isabelle-dev] Status of afp-2015

Makarius makarius at sketis.net
Tue Apr 28 15:25:29 CEST 2015

I am confused about the status of afp-2015 wrt. current Isabelle2015 
release candidates.

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, 
Random_Graph_Subgraph_Threshold, Separation_Logic_Imperative_HOL, 

That is without the "slow" sessions.

Is afp-2015 actually tested anywhere?


More information about the isabelle-dev mailing list