summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | nipkow |

Wed, 10 Feb 2016 15:49:05 +0100 | |

changeset 62224 | 9343649abb09 |

parent 62223 | c82c7b78b509 |

child 62284 | 1fd4831e9f93 |

tuned text

--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex Tue Feb 09 16:38:43 2016 +0100 +++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex Wed Feb 10 15:49:05 2016 +0100 @@ -73,9 +73,10 @@ by clicking on that phrase or by hovering over underlined text. \begin{warn}\label{proof-state} -By default Isabelle/jEdit does not show the proof state but this book -refers to it frequently. You should tick the ``Proof state'' box -to see the proof state in the output window. +Part I frequently refers to the proof state. +You can see the proof state combined with other system output if you +press the ``Output'' button to open the output area and tick the +``Proof state'' box to see the proof state in the output area. \end{warn} This should suffice to get started with the jEdit interface.