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_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
