Unfinished session(s): CAVA_Automata, CAVA_Base, CAVA_LTL_Modelchecker, CAVA_buildchain1, CAVA_buildchain3, Gabow_SCC, LTL_to_GBA, MonoBoolTranAlgebra, Promela
I have a suspicion that the dropout in MonoBoolTranAlgebra is due to http://isabelle.in.tum.de/repos/isabelle/rev/4cf607675df8 Concerning the others – in recent times there has been a tendency for new AFP entries to lay around with no observable activity even a few days later. From a maintaince point of view this is quite unsatisfactory, although I have no convincing proposal at hand what the way of doing should be in that case. Surely this cannot be duty of the AFP publishers themselves, but the current approach seems to me like muchroom engineering: cut off the first head sprouting off the ground… any ideas? 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
