--- a/src/Tools/WWW_Find/www/pasting_help.html Sat Apr 26 06:43:06 2014 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-<html>
- <head>
- <title>Find Theorems: help pasting from ProofGeneral</title>
- <link rel="stylesheet" type="text/css" href="/basic.css"/>
- </head>
- <body>
- <h1>Pasting theory text from Proof General with x-symbol</h1>
- <ol>
- <li>Select the text using the keyboard (<code>C-SPC</code>,
- <code>arrow keys</code>).</li>
- <li>Choose <code>X-Symbol</code>/<code>Other
- Commands</code>/<code>Copy Encoded</code>.</li>
- <li>Paste into the web browser (<code>C-v</code>).</li>
- </ol>
-
- <a href="/isabelle/find_theorems">Return to find_theorems</a>
- </body>
-</html>
-