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.
added Tim's find_theorems performance patch
authorkleing
Fri, 28 Nov 2008 11:55:46 +0100
changeset 28901 028a52be4078
parent 28900 53fd5cc685b4
child 28902 2019bcc9d8bf
added Tim's find_theorems performance patch
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Fri Nov 28 11:37:20 2008 +0100
+++ b/CONTRIBUTORS	Fri Nov 28 11:55:46 2008 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* November 2008: Timothy Bourke, NICTA
+  Performance improvement (factor 50) for find_theorems.
+
 * October 2008: Fabian Immler, TUM
   ATP manager for Sledgehammer, based on ML threads instead of Posix
   processes.  Additional ATP wrappers, including remote SystemOnTPTP
isabelle