* Eliminated theory ProtoPure and CPure, leaving just one Pure theory. INCOMPATIBILITY, object-logics depending on former Pure require additional setup PureThy.old_appl_syntax_setup; object-logics depending on former CPure need to refer to Pure.
- [isabelle-dev] NEWS (update) Makarius
- [isabelle-dev] NEWS (update) Makarius
- [isabelle-dev] NEWS (update) Makarius
- [isabelle-dev] NEWS (update) Makarius
- [isabelle-dev] NEWS (update) Makarius
- [isabelle-dev] NEWS (update) Tjark Weber
- [isabelle-dev] NEWS (update) Makarius