diff -r e4f363e16bdc -r 13b0fc4ece42 src/Tools/WWW_Find/www/pasting_help.html --- 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 @@ - - - Find Theorems: help pasting from ProofGeneral - - - -

Pasting theory text from Proof General with x-symbol

-
    -
  1. Select the text using the keyboard (C-SPC, - arrow keys).
    2. -
  2. Choose X-Symbol/Other - Commands/Copy Encoded.
    3. -
  3. Paste into the web browser (C-v).
    4. -
- - Return to find_theorems - - -