[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sun May 27 20:25:34 CEST 2012

Hi all,

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.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120527/4c188409/attachment.asc>

More information about the isabelle-dev mailing list