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

Makarius makarius at sketis.net
Wed Jun 27 14:03:09 CEST 2012

On Wed, 27 Jun 2012, Florian Haftmann wrote:

> Not sure what the status of Ā»/home/isabelle/public_componentsĀ« is.

See also this thread on the same topic: 


More information about the isabelle-dev mailing list