Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adjusted help text
authorkleing
Sat, 21 Nov 2009 16:56:53 +1100
changeset 33828 e7289ca31aa0
parent 33827 3ccd0be065ea
child 33829 7277fa74120a
adjusted help text
src/Tools/WWW_Find/www/pasting_help.html file | annotate | diff | comparison | revisions 
--- 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 @@
     <link rel="stylesheet" type="text/css" href="/basic.css"/>
   </head>
   <body>
-    <h1>Pasting theory text from Proof General</h1>
+    <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>
isabelle