[isabelle-dev] Standard component setup (Re: NEWS)

[boehmes at mailbroy.informatik.tu-muenchen.de]

Quoting Alexander Krauss <krauss at 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