[isabelle-dev] Proper AFP history on the web

Makarius makarius at sketis.net
Wed Jul 10 19:27:06 CEST 2013

On Wed, 10 Jul 2013, Lars Noschinski wrote:

> 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.

Looks fine to me.

What do the AFP editors say?  (I've also found it difficult to get to the 
"official" repository clones via the AFP website.)


More information about the isabelle-dev mailing list