updated old screenshots, added new screenshots;
authorwenzelm
Tue Jan 12 19:58:17 2016 +0100 (2016-01-12)
changeset 62154b855771b3979
parent 62153 df566b87e269
child 62155 ec2f0dad8b98
updated old screenshots, added new screenshots;
src/Doc/JEdit/JEdit.thy
src/Doc/JEdit/document/auto-tools.png
src/Doc/JEdit/document/bibtex-mode.png
src/Doc/JEdit/document/cite-completion.png
src/Doc/JEdit/document/isabelle-jedit-hdpi.png
src/Doc/JEdit/document/isabelle-jedit.png
src/Doc/JEdit/document/markdown-document.png
src/Doc/JEdit/document/ml-debugger.png
src/Doc/JEdit/document/output-and-state.png
src/Doc/JEdit/document/output-including-state.png
src/Doc/JEdit/document/output.png
src/Doc/JEdit/document/popup1.png
src/Doc/JEdit/document/popup2.png
src/Doc/JEdit/document/query.png
src/Doc/JEdit/document/sidekick-document.png
src/Doc/JEdit/document/sidekick.png
src/Doc/JEdit/document/sledgehammer.png
src/Doc/JEdit/document/theories.png
src/Doc/ROOT
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Tue Jan 12 15:43:26 2016 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Tue Jan 12 19:58:17 2016 +0100
     1.3 @@ -948,6 +948,29 @@
     1.4  \<close>
     1.5  
     1.6  
     1.7 +section \<open>Proof state output \label{sec:state-output}\<close>
     1.8 +
     1.9 +text \<open>
    1.10 +  FIXME
    1.11 +  \figref{fig:output-and-state} versus \figref{fig:output-including-state}
    1.12 +
    1.13 +  \begin{figure}[htb]
    1.14 +  \begin{center}
    1.15 +  \includegraphics[scale=0.333]{output-and-state}
    1.16 +  \end{center}
    1.17 +  \caption{Separate proof state display (right) and other output (bottom).}
    1.18 +  \label{fig:output-and-state}
    1.19 +  \end{figure}
    1.20 +
    1.21 +  \begin{figure}[htb]
    1.22 +  \begin{center}
    1.23 +  \includegraphics[scale=0.333]{output-including-state}
    1.24 +  \end{center}
    1.25 +  \caption{Proof state display within the regular output panel}
    1.26 +  \label{fig:output-including-state}
    1.27 +  \end{figure}
    1.28 +\<close>
    1.29 +
    1.30  section \<open>Query \label{sec:query}\<close>
    1.31  
    1.32  text \<open>
    1.33 @@ -967,7 +990,7 @@
    1.34    \begin{center}
    1.35    \includegraphics[scale=0.333]{query}
    1.36    \end{center}
    1.37 -  \caption{An instance of the Query panel}
    1.38 +  \caption{An instance of the Query panel: find theorems}
    1.39    \label{fig:query}
    1.40    \end{figure}
    1.41  
    1.42 @@ -1655,6 +1678,22 @@
    1.43  \<close>
    1.44  
    1.45  
    1.46 +section \<open>Markdown structure\<close>
    1.47 +
    1.48 +text \<open>
    1.49 +  FIXME
    1.50 +  \figref{fig:markdown-document}
    1.51 +
    1.52 +  \begin{figure}[htb]
    1.53 +  \begin{center}
    1.54 +  \includegraphics[scale=0.333]{markdown-document}
    1.55 +  \end{center}
    1.56 +  \caption{Markdown structure within document text}
    1.57 +  \label{fig:markdown-document}
    1.58 +  \end{figure}
    1.59 +\<close>
    1.60 +
    1.61 +
    1.62  section \<open>Citations and Bib{\TeX} entries\<close>
    1.63  
    1.64  text \<open>
    1.65 @@ -1694,6 +1733,22 @@
    1.66  \<close>
    1.67  
    1.68  
    1.69 +chapter \<open>ML debugger\<close>
    1.70 +
    1.71 +text \<open>
    1.72 +  FIXME
    1.73 +  \figref{fig:ml-debugger}
    1.74 +
    1.75 +  \begin{figure}[htb]
    1.76 +  \begin{center}
    1.77 +  \includegraphics[scale=0.333]{ml-debugger}
    1.78 +  \end{center}
    1.79 +  \caption{ML debugger}
    1.80 +  \label{fig:ml-debugger}
    1.81 +  \end{figure}
    1.82 +\<close>
    1.83 +
    1.84 +
    1.85  chapter \<open>Miscellaneous tools\<close>
    1.86  
    1.87  section \<open>Timing\<close>
     2.1 Binary file src/Doc/JEdit/document/auto-tools.png has changed
     3.1 Binary file src/Doc/JEdit/document/bibtex-mode.png has changed
     4.1 Binary file src/Doc/JEdit/document/cite-completion.png has changed
     5.1 Binary file src/Doc/JEdit/document/isabelle-jedit-hdpi.png has changed
     6.1 Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
     7.1 Binary file src/Doc/JEdit/document/markdown-document.png has changed
     8.1 Binary file src/Doc/JEdit/document/ml-debugger.png has changed
     9.1 Binary file src/Doc/JEdit/document/output-and-state.png has changed
    10.1 Binary file src/Doc/JEdit/document/output-including-state.png has changed
    11.1 Binary file src/Doc/JEdit/document/output.png has changed
    12.1 Binary file src/Doc/JEdit/document/popup1.png has changed
    13.1 Binary file src/Doc/JEdit/document/popup2.png has changed
    14.1 Binary file src/Doc/JEdit/document/query.png has changed
    15.1 Binary file src/Doc/JEdit/document/sidekick-document.png has changed
    16.1 Binary file src/Doc/JEdit/document/sidekick.png has changed
    17.1 Binary file src/Doc/JEdit/document/sledgehammer.png has changed
    18.1 Binary file src/Doc/JEdit/document/theories.png has changed
    19.1 --- a/src/Doc/ROOT	Tue Jan 12 15:43:26 2016 +0100
    19.2 +++ b/src/Doc/ROOT	Tue Jan 12 19:58:17 2016 +0100
    19.3 @@ -207,15 +207,19 @@
    19.4      "bibtex-mode.png"
    19.5      "build"
    19.6      "cite-completion.png"
    19.7 +    "isabelle-jedit-hdpi.png"
    19.8      "isabelle-jedit.png"
    19.9 -    "isabelle-jedit-hdpi.png"
   19.10 +    "markdown-document.png"
   19.11 +    "ml-debugger.png"
   19.12 +    "output-and-state.png"
   19.13 +    "output-including-state.png"
   19.14      "output.png"
   19.15 -    "query.png"
   19.16      "popup1.png"
   19.17      "popup2.png"
   19.18 +    "query.png"
   19.19      "root.tex"
   19.20 +    "sidekick-document.png"
   19.21      "sidekick.png"
   19.22 -    "sidekick-document.png"
   19.23      "sledgehammer.png"
   19.24      "theories.png"
   19.25