[isabelle-dev] AFP devel not reachable

Christian Sternagel c.sternagel at gmail.com
Mon Jul 20 10:35:05 CEST 2015

Previous message (by thread): [isabelle-dev] Sledgehammer error involving Vampire
Next message (by thread): [isabelle-dev] AFP devel not reachable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

http://afp.sourceforge.net/ seems to be down. Just out of curiosity: 
Does anyone know for how long and why?

-cheers

chris

Previous message (by thread): [isabelle-dev] Sledgehammer error involving Vampire
Next message (by thread): [isabelle-dev] AFP devel not reachable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list