# HG changeset patch
# User Simon Wimmer <wimmers@in.tum.de>
# Date 1712329802 -7200
# Node ID 5c73934777fc76ae4c4a970fc53015871567731d
# Parent  173548e4d5d04b81e2a034a9303a264563a7097b
Add entry on Sketch_and_Explore to CONTRIBUTORS

diff -r 173548e4d5d0 -r 5c73934777fc CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Apr 04 15:29:41 2024 +0200
+++ b/CONTRIBUTORS	Fri Apr 05 17:10:02 2024 +0200
@@ -17,6 +17,9 @@
 * March 2024: Anthony Bordg, Manuel Eberl, Wenda Li, Larry Paulson
   New and more general definition of meromorphicity in HOL-Complex_Analysis.
 
+* Feb/March 2024: Simon Wimmer
+  Improvements to HOL-ex.Sketch_and_Explore.
+
 * Feb/March 2024: Jonas Stahl
   Automatic translation of HOL functions into corresponding step-counting
   running-time functions.