Compressing formats

[Norbert Preining]

Hi Hironori,

> However, I choose lz4(hc) for decompression speed.

I agree. We use lz4 also for the backups in tlmgr due to its incredible
speed and efficient compression.

>   but compression makes platex-dev.fmt smaller about 6.5MB (see above),

Do you think the patch can be adjusted for pdftex, too? 

Thanks for your work

Norbert

--
PREINING Norbert                               http://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13