[isabelle-dev] Status of afp-2015

[Makarius]

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:

   isabelle-release/18267ceb10b5
   afp-2015/d8cda568cd81

Unfinished session(s): Call_Arity, Circus, Depth-First-Search, 
FunWithFunctions, Girth_Chromatic, KBPs, Launchbury, Markov_Models, 
Random_Graph_Subgraph_Threshold, Separation_Logic_Imperative_HOL, 
UpDown_Scheme

That is without the "slow" sessions.


Is afp-2015 actually tested anywhere?


 	Makarius