[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: 
http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg02157.html


 	Makarius


More information about the isabelle-dev mailing list