[isabelle-dev] Proper AFP history on the web

[Makarius]

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


 	Makarius