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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
