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/lib/Tools/jedit
changeset 50729 a3ec244186cd
parent 50655 1656248e673f
child 50782 a26f7cf81d2f
equal deleted inserted replaced
50728:e7b2cfcef94c 50729:a3ec244186cd 
   201 JEDIT_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/jedit.jar"
 
   201 JEDIT_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/jedit.jar"
 
   202 
   202 
   203 JEDIT_JARS=(
 
   203 JEDIT_JARS=(
 
   204   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Console.jar"
 
   204   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Console.jar"
 
   205   "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar"
 
   205   "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar"
 
       
   206   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Highlight.jar"
 
   206   "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar"
 
   207   "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar"
 
   207   "$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar"
 
   208   "$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar"
 
   208   "$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar"
 
   209   "$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar"
 
   209 )
 
   210 )
 
   210 
   211
isabelle