*** General *** * Session-qualified theory names are mandatory: it is no longer possible to refer to unqualified theories from the parent session. INCOMPATIBILITY for old developments that have not been updated to Isabelle2017 yet (using the "isabelle imports" tool).
This refers to Isabelle/4c98c929a12a. It means that after the Isabelle2017 everything becomes really serious about qualified theory names, e.g. session images no longer affect the theory name space. It will eventually have further impact on isabelle build. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev