Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
authorwenzelm
Tue Oct 16 18:34:51 2007 +0200 (2007-10-16)
changeset 25057021fcbe2aaa5
parent 25056 743f3603ba8b
child 25058 d8d8bac48031
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Oct 16 17:07:40 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Oct 16 18:34:51 2007 +0200
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to Isabelle 2007
     1.5  ------------------------------
     1.6  
     1.7 +* October 2007: Mark A. Hillebrand, DFKI
     1.8 +  Robust sub/superscripts in LaTeX document output.
     1.9 +
    1.10  * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian
    1.11      Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois
    1.12    HOL-Word: a library for fixed-size machine words in Isabelle.