author | wenzelm |
Tue, 22 Aug 2017 11:42:51 +0200 | |
changeset 66482 | 5dc8671bec73 |
parent 66481 | d35f7a9f92e2 |
child 66484 | e904aa522068 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- a/CONTRIBUTORS Tue Aug 22 08:55:07 2017 +0200 +++ b/CONTRIBUTORS Tue Aug 22 11:42:51 2017 +0200 @@ -4,7 +4,7 @@ Contributions to Isabelle2017 --------------------------------------- +----------------------------- * November 2016 - June 2017: Makarius Wenzel New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.