[isabelle-dev] Exposing some functions of the API
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