On Sat, 28 Jul 2012, Makarius wrote:
In particular, we need to devise a plan to upgrade:* mira (?)
Is there any mira expert who is not on vacation? Otherwise I have to start understanding its setup myself.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
