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.
more CONTRIBUTORS;
authorwenzelm
Fri, 27 Feb 2009 20:00:54 +0100
changeset 30154 9193a48d3f95
parent 30153 051d3825a15d
child 30156 c621f8b6f4e6
more CONTRIBUTORS;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Fri Feb 27 19:19:39 2009 +0100
+++ b/CONTRIBUTORS	Fri Feb 27 20:00:54 2009 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2008: Jasmin Christian Blanchette, TUM
+  Misc cleanup of HOL/refute.
+
 * February 2008: Timothy Bourke, NICTA
   New find_consts command.
isabelle