Quoting Alexander Krauss <kra...@in.tum.de>:
However, some components do not come with the release (vampire, yices, jedit_build). Should we simply have a directory at TUM which is served via http and where developers can get components? Maybe simply serve /home/isabelle/contrib_devel for that (For jedit_build this should be unproblematic, but I am not sure about the licensing situation for the other stuff.)
We are not allowed to distribute Yices. When publishing the components, please exclude Yices.
Cheers, Sascha _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev