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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
