[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
~isabelle.

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.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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