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

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu Jan 5 12:19:03 CET 2012

Previous message (by thread): [isabelle-dev] Standard component setup (Re: NEWS)
Next message (by thread): [isabelle-dev] Standard component setup (Re: NEWS)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 05.01.2012 um 11:54 schrieb Sascha:

> We are not allowed to distribute Yices. When publishing the components, please exclude Yices.

... and Vampire.

Jasmin

Previous message (by thread): [isabelle-dev] Standard component setup (Re: NEWS)
Next message (by thread): [isabelle-dev] Standard component setup (Re: NEWS)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list