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 73991 9f42f2a80ef3
parent 73987 fc363a3b690a
child 74012 341941afe827
equal deleted inserted replaced
73990:778ab9983f40 73991:9f42f2a80ef3 
     1 ## Isabelle/jEdit plugin properties
 
     1 ## Isabelle/jEdit plugin properties
 
     2 ##
 
     2 ##
 
     3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
 
     3 ##:wrap=soft:maxLineLen=100:
 
     4 
     4 
     5 #identification
 
     5 #identification
 
     6 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
 
     6 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
 
     7 plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
 
     7 plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
 
     8 plugin.isabelle.jedit_base.Plugin.version=1.0
 
     8 plugin.isabelle.jedit_base.Plugin.version=1.0
isabelle