search

michaelt / martin-lof

papers of Per Martin Löf
750 stars 65 forks source link

optimize 1972b, 1991 PDFs #14

Closed mattearnshaw closed 8 years ago

mattearnshaw commented 8 years ago

cleaned up the 1991 scan and reduced file-size of 1972b from 32.4MB to 1.82MB

michaelt commented 8 years ago

Thanks, @mattearnshaw !

michaelt commented 8 years ago

Thanks, it does load much faster from the README link.