Mercurial Mercurial > repos > isabelle / annotate
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/etc/settings
author wenzelm
Wed, 29 Nov 2023 00:07:54 +0100
changeset 79074 7f24c5be57bd
parent 73987 fc363a3b690a
child 82182 137559b26f74
permissions -rw-r--r--
compact representation of sets of integers;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38155
e669779bb8c4 editor mode;
wenzelm
parents: 37058
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
e669779bb8c4 editor mode;
wenzelm
parents: 37058
diff changeset 
     2
 







45057






86c9b73158a8
default print mode for Isabelle/Scala, not just Isabelle/jEdit;



wenzelm


parents: 
45024

diff
changeset




     3


ISABELLE_JEDIT_OPTIONS=""








73987






fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;



wenzelm


parents: 
71791

diff
changeset




     4


ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"















isabelle