[isabelle-dev] Mirabelle and load path

Makarius makarius at sketis.net
Wed Mar 23 21:12:42 CET 2011

On Wed, 23 Mar 2011, Alexander Krauss wrote:

> I tried to fix this in 6a147393c62a for Mirabelle. If it doesn't produce 
> new crashes, we can do the same for Mutabelle.

This looks fine.


More information about the isabelle-dev mailing list