1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Thu Apr 10 10:36:29 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Thu Apr 10 11:06:45 2014 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  #identification
     1.6  plugin.isabelle.jedit.Plugin.name=Isabelle
     1.7 -plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel
     1.8 +plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel
     1.9  plugin.isabelle.jedit.Plugin.version=1.0.0
    1.10  plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    1.11