author | kleing |
Fri, 20 Nov 2009 18:36:44 +1100 | |
changeset 33817 | f6a4da31f2f1 |
child 33828 | e7289ca31aa0 |
permissions | -rw-r--r-- |
1 <html>
2 <head>
3 <title>Find Theorems: help pasting from ProofGeneral</title>
4 <link rel="stylesheet" type="text/css" href="/basic.css"/>
5 </head>
6 <body>
7 <h1>Pasting theory text from Proof General</h1>
8 <ol>
9 <li>Select the text using the keyboard (<code>C-SPC</code>,
10 <code>arrow keys</code>).</li>
11 <li>Choose <code>X-Symbol</code>/<code>Other
12 Commands</code>/<code>Copy Encoded</code>.</li>
13 <li>Paste into the web browser (<code>C-v</code>).</li>
14 </ol>
16 <a href="/isabelle/find_theorems">Return to find_theorems</a>
17 </body>
18 </html>