# HG changeset patch
# User wenzelm
# Date 1503394971 -7200
# Node ID 5dc8671bec7370fb97100b38352de01ad9c6802b
# Parent  d35f7a9f92e22b6586060be5d9ea585c9ff69d71
tuned;

diff -r d35f7a9f92e2 -r 5dc8671bec73 CONTRIBUTORS
--- 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.