184 fun java_not_found_message () = |
184 fun java_not_found_message () = |
185 "Java could not be launched. " ^ isabelle_wrong_message |
185 "Java could not be launched. " ^ isabelle_wrong_message |
186 fun java_too_old_message () = |
186 fun java_too_old_message () = |
187 "The Java version is too old. " ^ isabelle_wrong_message |
187 "The Java version is too old. " ^ isabelle_wrong_message |
188 fun kodkodi_not_installed_message () = |
188 fun kodkodi_not_installed_message () = |
189 "Nitpick requires the external Java program Kodkodi. To install it, download \ |
189 "Nitpick requires the external Java program Kodkodi." |
190 \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \ |
190 fun kodkodi_too_old_message () = "The installed Kodkodi version is too old." |
191 \\"kodkodi-x.y.z\" directory's full path to " ^ |
|
192 Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^ |
|
193 " on a line of its own." |
|
194 fun kodkodi_too_old_message () = |
|
195 "The installed Kodkodi version is too old. To install a newer version, \ |
|
196 \download the package from \"http://www21.in.tum.de/~blanchet/#software\" \ |
|
197 \and add the \"kodkodi-x.y.z\" directory's full path to " ^ |
|
198 Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^ |
|
199 " on a line of its own." |
|
200 val max_unsound_delay_ms = 200 |
191 val max_unsound_delay_ms = 200 |
201 val max_unsound_delay_percent = 2 |
192 val max_unsound_delay_percent = 2 |
202 |
193 |
203 fun unsound_delay_for_timeout NONE = max_unsound_delay_ms |
194 fun unsound_delay_for_timeout NONE = max_unsound_delay_ms |
204 | unsound_delay_for_timeout (SOME timeout) = |
195 | unsound_delay_for_timeout (SOME timeout) = |