equal
deleted
inserted
replaced
40 -d or -D for "isabelle build" and "isabelle jedit". Example: |
40 -d or -D for "isabelle build" and "isabelle jedit". Example: |
41 |
41 |
42 isabelle build -D '~~/src/ZF' |
42 isabelle build -D '~~/src/ZF' |
43 |
43 |
44 |
44 |
45 *** Prover IDE -- Isabelle/Scala/jEdit *** |
45 *** Isabelle/jEdit Prover IDE *** |
46 |
46 |
47 * PIDE markup for session ROOT files: allows to complete session names, |
47 * PIDE markup for session ROOT files: allows to complete session names, |
48 follow links to theories and document files etc. |
48 follow links to theories and document files etc. |
49 |
49 |
50 * Completion supports theory header imports, using theory base name. |
50 * Completion supports theory header imports, using theory base name. |
71 arguments into this format. |
71 arguments into this format. |
72 |
72 |
73 * Action "isabelle.preview" is able to present more file formats, |
73 * Action "isabelle.preview" is able to present more file formats, |
74 notably bibtex database files and plain text files. |
74 notably bibtex database files and plain text files. |
75 |
75 |
|
76 |
|
77 *** Isabelle/VSCode Prover IDE *** |
|
78 |
|
79 * HTML preview of theories and other file-formats similar to |
|
80 Isabelle/jEdit. |
76 |
81 |
77 |
82 |
78 *** Document preparation *** |
83 *** Document preparation *** |
79 |
84 |
80 * System option "document_tags" specifies a default for otherwise |
85 * System option "document_tags" specifies a default for otherwise |