[isabelle-dev] [Fwd: status (AFP)]

2008-09-01 Thread Tobias Nipkow
-- An embedded and charset-unspecified text was scrubbed... Name: report-devel URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/fea2cd3b/attachment-0001.diff> -- next part -- An embedded and charset-unspecified text was sc

[isabelle-dev] [Fwd: [Fwd: status (AFP)]]

2008-09-01 Thread Tobias Nipkow
tps://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0003.diff> -- next part -- An embedded and charset-unspecified text was scrubbed... Name: afp-test-devel-2008-09-01.log URL: <https://mailmanbroy.informatik.tu-mu

[isabelle-dev] NEWS

2008-09-01 Thread Tobias Nipkow
* ATP selection (E/Vampire/Spass) is now via PG's settings menu. Tobias