Thanks to all who have invested time and energy to work on those issues. Nevertheless I have the impression that in the last time there have have been lots of movements in the distribution being speculative in the sense that no systematic testing including the AFP had taken place.
What is the reason for this? No access to suitable computing machines?
Cheers,
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
