>> Isabelle/0a55ac5bdd92 is the merge point for the release branch from >> https://bitbucket.org/isabelle_project/isabelle-release >> >> Now the main Isabelle repository is again the main focus for working >> towards the next release. > > what is the policy for AFP then at the moment? Are changes which go > beyond Isabelle2013 to be pushed to the sourceforge repository already?
Or, more verbosely, in the following description from the release fork announcement > I'll attempt to make the AFP release semi-simultaneous with the Isabelle > release this time. > > This means, afp-test will point to the Isabelle release candidate by Fri > morning SYD time (Thu night CET). > > At the same time (Thu night CET), the afp release branch will fork in > afp-devel. Any commits after will not be > visible in the 2013 AFP release unless you specifically send them to me by > email. > > If there are any updates/cleanups/last minute changes yet to be done for any > of the entries, please have > them in by then. what exactly is afp-devel? I am unable to map this to the repositories I am aware of (http://afp.hg.sourceforge.net/hgweb/afp/afp/shortlog, http://isabelle.in.tum.de/repos/AFP/) Best, Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev