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