# HG changeset patch
# User wenzelm
# Date 1380455596 -7200
# Node ID b9139b14c1c5a42f9a9d5f176b8034c8946b713b
# Parent  2fa984b202ae6329885b3a709fbe65e6ac8d8e73
updated for release;

diff -r 2fa984b202ae -r b9139b14c1c5 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Sep 29 12:56:50 2013 +0200
+++ b/CONTRIBUTORS	Sun Sep 29 13:53:16 2013 +0200
@@ -3,12 +3,15 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2013-1
+-------------------------------
 
 * September 2013: Nik Sultana, University of Cambridge
   Improvements to HOL/TPTP parser and import facilities.
 
+* Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI
+  Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
+
 * Summer 2013: Manuel Eberl, TUM
   Generation of elimination rules in the function package.
   New command "fun_cases".