changeset 25057 | 021fcbe2aaa5 |
parent 24803 | 38577b4b1fde |
child 25398 | 35f600d9bf06 |
--- a/CONTRIBUTORS Tue Oct 16 17:07:40 2007 +0200 +++ b/CONTRIBUTORS Tue Oct 16 18:34:51 2007 +0200 @@ -7,6 +7,9 @@ Contributions to Isabelle 2007 ------------------------------ +* October 2007: Mark A. Hillebrand, DFKI + Robust sub/superscripts in LaTeX document output. + * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois HOL-Word: a library for fixed-size machine words in Isabelle.