Can someone explain the exact meaning of Admin/contributed_components (cf. 573f557ed716 krauss, 3214c39777ab boehmes).
It looks like I will have to understand it for the release, but my current collection of contrib components already deviates from that list.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
