[isabelle-dev] Exposing some functions of the API

Makarius makarius at sketis.net
Tue Oct 6 11:31:02 CEST 2015

On Tue, 6 Oct 2015, Frédéric Tuong wrote:

> Whereas AFP/Isabelle_Meta_Model correctly compiles with Isabelle 2015, I 
> plan to submit an updated version of the overall so that it will also 
> compile with the Isabelle development version.

You should also try to eliminate all these clones of Isabelle/ML sources. 
Clones are unmaintainable and are leading to odd problems.


More information about the isabelle-dev mailing list