* ATP selection (E/Vampire/Spass) is now via PG's settings menu.
Tobias
- [isabelle-dev] HOL vs. HOL-Com... Brian Huffman
- [isabelle-dev] HOL vs. HOL-Com... Makarius
- [isabelle-dev] HOL vs. HOL-Com... Lawrence Paulson
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Amine Chaieb
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Michael Nedzelsky
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
