Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/jedit_main/plugin.props
changeset 74052 f34d54b0e5de
parent 74012 341941afe827
child 74425 f63dea123304
equal deleted inserted replaced
74051:bd575b1bd9bf 74052:f34d54b0e5de 
     1 ## Isabelle/jEdit plugin properties
 
     1 ## Isabelle/jEdit plugin properties
 
     2 ##
 
     2 ##
 
     3 ##:wrap=soft:maxLineLen=100:
 
     3 ##:wrap=soft:maxLineLen=100:
 
     4 
     4 
     5 #identification
 
     5 #identification
 
     6 plugin.isabelle.jedit_main.Plugin.name=Isabelle Main
 
     6 plugin.isabelle.jedit_main.Plugin.name=Isabelle
 
     7 plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
 
     7 plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
 
     8 plugin.isabelle.jedit_main.Plugin.version=11.2
 
     8 plugin.isabelle.jedit_main.Plugin.version=11.2
 
     9 plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin
 
     9 plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin
 
    10 
    10 
    11 #system parameters
 
    11 #system parameters
isabelle