# HG changeset patch # User kleing # Date 1258783013 -39600 # Node ID e7289ca31aa055c92fb3c2dc5d5dc2fa30c917af # Parent 3ccd0be065ea6ae37081b63f754481fcb17e694c adjusted help text diff -r 3ccd0be065ea -r e7289ca31aa0 src/Tools/WWW_Find/www/pasting_help.html --- a/src/Tools/WWW_Find/www/pasting_help.html Sat Nov 21 11:47:38 2009 +1100 +++ b/src/Tools/WWW_Find/www/pasting_help.html Sat Nov 21 16:56:53 2009 +1100 @@ -4,7 +4,7 @@ -

Pasting theory text from Proof General

+

Pasting theory text from Proof General with x-symbol

  1. Select the text using the keyboard (C-SPC, arrow keys).