[isabelle-dev] Exposing some functions of the API

[Makarius]

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.


 	Makarius