[isabelle-dev] Proper AFP history on the web

Lars Noschinski noschinl at in.tum.de
Wed Jul 10 17:32:55 CEST 2013

On 10.07.2013 17:29, Makarius wrote:
> Is there a proper way to access AFP history on the web

What about the clone at TUM, i.e. http://isabelle.in.tum.de/repos/AFP/? 
This should be updated regularly by Mira.

   -- Lars

More information about the isabelle-dev mailing list