Changes between Initial Version and Version 1 of Ticket #80
- Timestamp:
- Feb 25, 2007, 1:05:40 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #80 – Description
initial v1 1 1 X-Symbol in Proof General Emacs allows superscripting and subscripting of parts of the input text. These are controlled by ''escape'' sequences, e.g. 2 2 3 * F<^bsub>x<^esub> produces F with x subscript, c.f. F_{x}in LaTeX4 * F<^bsup>y<^esup> produces F with y super script, c.f. F^{y}in LaTeX3 * `F<^bsub>x<^esub>` produces F with x subscript, c.f. `F_{x}` in LaTeX 4 * `F<^bsup>y<^esup>` produces F with y super script, c.f. `F^{y}` in LaTeX 5 5 6 6 These are used moderately frequently in the Isabelle library theory files. So it is desirable to support this. We need to: