[isabelle-dev] AFP devel broken

Christian Sternagel c-sterna at jaist.ac.jp
Thu Nov 29 13:47:10 CET 2012

On 11/09/2012 12:26 AM, Christian Sternagel wrote:
> Just follow the "Browse theories" link of any devel entry, e.g.,
> http://afp.sourceforge.net/browser_info/devel/HOL/Bondy/index.html
As far as I can tell the problem still remains. Is it known in the 
meantime what the problem is?



More information about the isabelle-dev mailing list