[isabelle-dev] Notes on the Isabelle component repository at TUM

[Makarius]

Isabelle/2c7479865e07 has now some notes on the Isabelle component 
repository at TUM in the file Admin/component_repository/README.

Since I have now managed to install various new components without any 
surprises from isatest or mira, I've summarized my state of information 
about that affair here.

If there is anything missing or wrong, just tell me.  Information is not 
getting more accurate by producing diverging clones on some wiki.


 	Makarius