[Haskell] Announce: online free theorems generator now with PDF output

[Janis Voigtlaender]

The free theorems generator online at:

   http://linux.tcs.inf.tu-dresden.de/~voigt/ft ,

previously announced here:

   http://www.haskell.org/pipermail/haskell/2007-October/019917.html ,

now allows to export generated theorems and associated information as
.pdf files with nice mathematical markup.

The new feature was implemented by Florian Stenger. It builds on Patryk
Zadarnowski's lambdaTeX package.

Have fun,
Janis.

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de