CONTRIBUTORS
changeset 66482 5dc8671bec73
parent 66480 4b8d1df8933b
child 66563 87b9eb69d5ba
     1.1 --- a/CONTRIBUTORS	Tue Aug 22 08:55:07 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Aug 22 11:42:51 2017 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  
     1.6  Contributions to Isabelle2017
     1.7 ---------------------------------------
     1.8 +-----------------------------
     1.9  
    1.10  * November 2016 - June 2017: Makarius Wenzel
    1.11    New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.