[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
florian.haftmann at informatik.tu-muenchen.de
Sun May 27 20:25:34 CEST 2012
for years now, there was a silent convention that
~isabelle/contrib_devel at the TUM NFS would contain references to
more-or-less up-to-date add-on components for Isabelle. Is there
currently anybody still doing maintainance there? Also, the local
Isabelle2012 distribution in ~isabelle/Isabelle2012 is not equipped with
any of the add-on components shipped with the distribution on the
website, e.g. there seems to be no readily usable Haskabelle2012 beneath
What are users of Isabelle at the local TUM infrastructure (e.g. remote
runs on the macbroyXY machines) supposed to do? Private installations?
Further, how to include the add-on components? Currently I use special
~/.isabelle/etc/settings for this, but maybe there is something more direct?
After all those years, I think we should agree upon (again) how we (i.e.
all those using Isabelle from TUM NFS) deal with all those issues. For
such central issues I don't believe in private-only solutions. Or does
meanwhile everybody use the testboard?
A first step would be that the add-on components shipped with the
current distribution are also available by NFS.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev