Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorLars Hupel <lars.hupel@mytum.de>
Tue, 22 Aug 2017 11:56:17 +0200
changeset 66484 e904aa522068
parent 66483 123acfd5fe35 (current diff)
parent 66482 5dc8671bec73 (diff)
child 66485 ddb31006e315
merged
--- a/CONTRIBUTORS	Tue Aug 22 11:48:57 2017 +0200
+++ b/CONTRIBUTORS	Tue Aug 22 11:56:17 2017 +0200
@@ -4,7 +4,7 @@
 
 
 Contributions to Isabelle2017
---------------------------------------
+-----------------------------
 
 * November 2016 - June 2017: Makarius Wenzel
   New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.
isabelle