--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/WWW_Find/www/pasting_help.html	Fri Nov 20 18:36:44 2009 +1100
@@ -0,0 +1,19 @@
+<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</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>
+