Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
authorwenzelm
Tue, 16 Oct 2007 18:34:51 +0200
changeset 25057 021fcbe2aaa5
parent 25056 743f3603ba8b
child 25058 d8d8bac48031
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
CONTRIBUTORS
--- 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.