src/Doc/JEdit/JEdit.thy
changeset 67246 4cedf44f2af1
parent 67092 d7b3876d3ab1
child 67262 46540a2ead4b
equal deleted inserted replaced
67245:caa4c9001009 67246:4cedf44f2af1
  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