[isabelle-dev] Notes on the Isabelle component repository at TUM
makarius at sketis.net
Mon Dec 3 20:57:03 CET 2012
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.
More information about the isabelle-dev