equal
deleted
inserted
replaced
80 |
80 |
81 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
81 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
82 |
82 |
83 |
83 |
84 ### |
84 ### |
85 ### Interactive sessions (cf. isatool tty) |
85 ### Interactive sessions (cf. isabelle tty) |
86 ### |
86 ### |
87 |
87 |
88 ISABELLE_LINE_EDITOR="" |
88 ISABELLE_LINE_EDITOR="" |
89 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |
89 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |
90 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)" |
90 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)" |
91 |
91 |
92 |
92 |
93 ### |
93 ### |
94 ### Batch sessions (cf. isatool usedir) |
94 ### Batch sessions (cf. isabelle usedir) |
95 ### |
95 ### |
96 |
96 |
97 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
97 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
98 |
98 |
99 # Specifically for the HOL image |
99 # Specifically for the HOL image |
107 #ISABELLE_FILE_IDENT="sha1sum" |
107 #ISABELLE_FILE_IDENT="sha1sum" |
108 #ISABELLE_FILE_IDENT="openssl dgst -sha1" |
108 #ISABELLE_FILE_IDENT="openssl dgst -sha1" |
109 |
109 |
110 |
110 |
111 ### |
111 ### |
112 ### Document preparation (cf. isatool latex/document) |
112 ### Document preparation (cf. isabelle latex/document) |
113 ### |
113 ### |
114 |
114 |
115 ISABELLE_LATEX="latex" |
115 ISABELLE_LATEX="latex" |
116 ISABELLE_PDFLATEX="pdflatex" |
116 ISABELLE_PDFLATEX="pdflatex" |
117 ISABELLE_BIBTEX="bibtex" |
117 ISABELLE_BIBTEX="bibtex" |