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.