# HG changeset patch
# User desharna
# Date 1603100880 -7200
# Node ID b5f7fc7d23238ce2184c26cded8707624de0e5ce
# Parent  ef2082c41cd02c62dc3a6baf3ceeacafa4b1d6e4
Added contributors

diff -r ef2082c41cd0 -r b5f7fc7d2323 CONTRIBUTORS
--- 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.