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 contributors
authordesharna
Mon, 19 Oct 2020 11:48:00 +0200
changeset 72495 b5f7fc7d2323
parent 72494 ef2082c41cd0
child 72497 a9aaef9fcf86
Added contributors
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Oct 18 13:10:09 2020 +0200
+++ b/CONTRIBUTORS	Mon Oct 19 11:48:00 2020 +0200
@@ -9,6 +9,9 @@
 * October 2020: Mathias Fleury
   Updated proof reconstruction for the SMT solver veriT in the smt method.
 
+* October 2020: Jasmin Blanchette, Martin Desharnais
+  Integration of E 2.5 for Sledgehammer.
+
 * August 2020: Makarius Wenzel
   Improved monitoring of runtime statistics: ML GC progress and Java.
isabelle