equal
deleted
inserted
replaced
1897 |
1897 |
1898 section \<open>Document preview\<close> |
1898 section \<open>Document preview\<close> |
1899 |
1899 |
1900 text \<open> |
1900 text \<open> |
1901 The action @{action_def isabelle.preview} opens an HTML preview of the |
1901 The action @{action_def isabelle.preview} opens an HTML preview of the |
1902 current theory document in the default web browser. The content is derived |
1902 current document node in the default web browser. The content is derived |
1903 from the semantic markup produced by the prover, and thus depends on the |
1903 from the semantic markup produced by the prover, and thus depends on the |
1904 status of formal processing. |
1904 status of formal processing. |
1905 \<close> |
1905 \<close> |
1906 |
1906 |
1907 |
1907 |