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/src/Isabelle.props
changeset 62758 c439a7348138
parent 62674 6cfa0de8bb99
child 63610 4b40b8196dc7
equal deleted inserted replaced
62757:e5828ed9a576 62758:c439a7348138 
    11 #system parameters
 
    11 #system parameters
 
    12 plugin.isabelle.jedit.Plugin.activate=startup
 
    12 plugin.isabelle.jedit.Plugin.activate=startup
 
    13 plugin.isabelle.jedit.Plugin.usePluginHome=false
 
    13 plugin.isabelle.jedit.Plugin.usePluginHome=false
 
    14 
    14 
    15 #dependencies
 
    15 #dependencies
 
    16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
 
    16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.8
 
    17 plugin.isabelle.jedit.Plugin.depend.1=jedit 05.03.00.00
 
    17 plugin.isabelle.jedit.Plugin.depend.1=jedit 05.03.00.00
 
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
 
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
 
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
 
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
 
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
 
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
 
    21 
    21
isabelle