# HG changeset patch
# User wenzelm
# Date 1397120805 -7200
# Node ID 5f6f2576a836ce93c38bcc5d52ce91afde15b553
# Parent  c1f04411d43f7789a89f1c00c80f2609e8788c45
more contributors;

diff -r c1f04411d43f -r 5f6f2576a836 src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Thu Apr 10 10:36:29 2014 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props	Thu Apr 10 11:06:45 2014 +0200
@@ -4,7 +4,7 @@
 
 #identification
 plugin.isabelle.jedit.Plugin.name=Isabelle
-plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel
+plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel
 plugin.isabelle.jedit.Plugin.version=1.0.0
 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE