equal
deleted
inserted
replaced
341 (containing Boolean satisfiability problems) into Isabelle/HOL |
341 (containing Boolean satisfiability problems) into Isabelle/HOL |
342 theories. |
342 theories. |
343 |
343 |
344 * isatool usedir: option -f allows specification of the ML file to be |
344 * isatool usedir: option -f allows specification of the ML file to be |
345 used by Isabelle; default is ROOT.ML. |
345 used by Isabelle; default is ROOT.ML. |
|
346 |
|
347 * symlinks to Isabelle, isabelle, isabelle-interface and isabelle-process |
|
348 are allowed; isabelle directories are determined based on link target. |
346 |
349 |
347 * ISABELLE_DOC_FORMAT setting specifies preferred document format (for |
350 * ISABELLE_DOC_FORMAT setting specifies preferred document format (for |
348 isatool doc, isatool mkdir, display_drafts etc.). |
351 isatool doc, isatool mkdir, display_drafts etc.). |
349 |
352 |
350 |
353 |