Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/README.html
changeset 53021 d0fa3f446b9d
parent 51621 8c0f6caba80e 
--- a/src/Tools/jEdit/README.html	Tue Aug 13 19:52:12 2013 +0200
+++ b/src/Tools/jEdit/README.html	Tue Aug 13 20:34:46 2013 +0200
@@ -142,8 +142,6 @@
 
       <tr><td>sub</td>            <td><tt>=_</tt></td>          <td>⇩</td></tr>
       <tr><td>sup</td>            <td><tt>=^</tt></td>          <td>⇧</td></tr>
-      <tr><td>isup</td>           <td><tt>-_</tt></td>          <td>⇣</td></tr>
-      <tr><td>isub</td>           <td><tt>-^</tt></td>          <td>⇡</td></tr>
       <tr><td>bold</td>           <td><tt>-.</tt></td>          <td>❙</td></tr>
 
     </table>
isabelle