--- 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".