equal
deleted
inserted
replaced
2 ## |
2 ## |
3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100: |
3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100: |
4 |
4 |
5 #identification |
5 #identification |
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel |
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel |
8 plugin.isabelle.jedit.Plugin.version=1.0.0 |
8 plugin.isabelle.jedit.Plugin.version=1.0.0 |
9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE |
9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE |
10 |
10 |
11 #system parameters |
11 #system parameters |
12 plugin.isabelle.jedit.Plugin.activate=startup |
12 plugin.isabelle.jedit.Plugin.activate=startup |