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_base/plugin.props
changeset 81973 82cf33956a17
parent 81972 fc557fc4ffc4
equal deleted inserted replaced
81972:fc557fc4ffc4 81973:82cf33956a17 
    11 #system parameters
 
    11 #system parameters
 
    12 plugin.isabelle.jedit_base.Plugin.activate=startup
 
    12 plugin.isabelle.jedit_base.Plugin.activate=startup
 
    13 plugin.isabelle.jedit_base.Plugin.usePluginHome=false
 
    13 plugin.isabelle.jedit_base.Plugin.usePluginHome=false
 
    14 
    14 
    15 #dependencies
 
    15 #dependencies
 
    16 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 17
 
    16 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 21
 
    17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.06.00.00
 
    17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.06.00.00
isabelle