On 01/04/2012 10:30 PM, Makarius wrote:
Is there any reference to these details on some documentation (README,
manual, …)? A grep for Kodkod over the sources did not look very
promising.
A good starting point is the semi-official Admin/contributed_components
file, which seems to be also used
On 01/04/2012 10:19 PM, Makarius wrote:
The difference of a fully integrated release bundle and a development
snapshot is increasing more and more -- since the bundles are getting
so advanced. I would not like to see the clear distinction between
production quality releases and arbitrary
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
On Thu, 5 Jan 2012, Lawrence Paulson wrote:
I think your point is that somebody who spent a lot of effort making
their code work with a development snapshot could be wasting their time,
because the next release could be as different and require everything to
be converted again.
Yes, but