
00readme.txt : this file

edec20k.*   : 20,000 digits of e=2.718...

edec20k.dvi : dvi format
edec20k.ps  : postscript format
edec20k.tex : tex input
