[isabelle-dev] Admin/contributed_components

Makarius makarius at sketis.net
Fri Jan 7 14:05:08 CET 2011


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



More information about the isabelle-dev mailing list