[isabelle-dev] Proper AFP history on the web

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu Jul 11 01:43:02 CEST 2013

I don't think that's a good idea.

The official URL for browsing is http://sourceforge.net/p/afp/code/ci/default/tree/ as advertised on  http://afp.sourceforge.net/download.shtml.

The official URL for cloning is http://hg.code.sf.net/p/afp/code as advertised on that page (with ssh and SF login if you have one).

It doesn't change every few months. It has changed once in 10 years, admittedly with breakage that one time, but it does not look like it's going to be a frequent event.


On 11.07.2013, at 3:27 AM, Makarius <makarius at sketis.net> wrote:

> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list