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/build.props
changeset 74029 0701ff55780d
parent 73987 fc363a3b690a
equal deleted inserted replaced
74028:77cc23b550e9 74029:0701ff55780d 
     1 description = Isabelle/jEdit base plugin
 
     1 title = Isabelle/jEdit base plugin
 
     2 lib = $JEDIT_SETTINGS/jars
 
     2 module = $JEDIT_SETTINGS/jars/isabelle_jedit_base.jar
 
     3 name = isabelle_jedit_base
 
       
     4 requirements = \
 
     3 requirements = \
 
     5   env:ISABELLE_SCALA_JAR \
 
     4   env:ISABELLE_SCALA_JAR \
 
     6   env:JEDIT_JARS
 
     5   env:JEDIT_JARS
 
     7 resources = \
 
     6 resources = \
 
     8   plugin.props \
 
     7   plugin.props \
isabelle