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/[email protected]/msg02157.html
Makarius
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
