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-base/Isabelle_Base.props
changeset 68395 76a0f3bafb16
parent 66476 c9628d79109b
child 71521 e977609c30eb
equal deleted inserted replaced
68394:bc2fd0e2047e 68395:76a0f3bafb16 
    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 1.8
 
    16 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
 
    17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.04.00.00
 
    17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00
isabelle