* Thoroughly revised locales tutorial. New section on conditional interpretation.
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Johannes Hölzl
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Sascha Boehme
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Sascha Boehme
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Clemens Ballarin
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Sascha Boehme
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Alexander Krauss
