
00readme.txt : this file

l2dec10k.*   : 10,000 decimal digits of log(2)=0.6931...

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