# HG changeset patch # User Simon Wimmer # 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.