tuned;
authorwenzelm
Tue Aug 22 11:42:51 2017 +0200 (21 months ago)
changeset 664825dc8671bec73
parent 66481 d35f7a9f92e2
child 66484 e904aa522068
tuned;
CONTRIBUTORS
     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.