changeset 72004 | 913162a47d9f |
parent 71989 | bad75618fb82 |
child 72103 | 7b318273a4aa |
--- a/CONTRIBUTORS Wed Jul 08 16:35:23 2020 +0200 +++ b/CONTRIBUTORS Thu Jul 09 11:39:16 2020 +0200 @@ -6,6 +6,9 @@ Contributions to this Isabelle version -------------------------------------- +* July 2020: Martin Desharnais + Integration of Metis 2.4. + * June 2020: Makarius Wenzel System option pide_session is enabled by default, notably for standard "isabelle build" to invoke Scala from ML.