>> 1. Changesets to dist and AFP exist as hg patches. > > This is currently not implemented. Isabelle testboard will always use > AFP devel and vice versa. It is not possible to test Isabelle testboard > and AFP testboard together.
But I regard this as a central use case: if a change to the distro
demands changes in the AFP, you want to test them simultaneously.
Cheers,
Florian
--
PGP available:
http://isabelle.in.tum.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
