[isabelle-dev] Standard component setup (Re: NEWS)
krauss at in.tum.de
Sun Jan 8 21:23:25 CET 2012
On 01/05/2012 12:19 PM, Jasmin Christian Blanchette wrote:
>> We are not allowed to distribute Yices. When publishing the components, please exclude Yices.
> ... and Vampire.
Could we instead provide a little script (or Isabelle tool) that turns a
tarball/zip downloaded from upstream into a packaged Isabelle component?
This would possibly lower the entry barrier for using these systems, and
should be fine with the licenses. It can also save a little packaging
work in the future.
More information about the isabelle-dev