Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Mon, 01 Sep 2008 10:28:04 +0200
changeset 28067 4b6783d3f0d9
parent 28066 611e504c1191
child 28068 f6b2d1995171
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Sep 01 10:20:14 2008 +0200
+++ b/NEWS	Mon Sep 01 10:28:04 2008 +0200
@@ -135,6 +135,8 @@
 instantiations for algebraic structures.  Removed some duplicate
 theorems.  Changes in simp rules.  INCOMPATIBILITY.
 
+* ATP selection (E/Vampire/Spass) is now via PG's settings menu.
+
 
 *** HOL-Algebra ***
isabelle