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
Mon, 19 Dec 2022 12:58:18 +0100
changeset 76705 ddf5764684dd
parent 73987 fc363a3b690a
child 82182 137559b26f74
permissions -rw-r--r--
proper state change, e.g. on open/close of "Document" panel;
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