Table in README + Direct Download links + pdfs/ directory

michaelt / martin-lof

papers of Per Martin Löf

750 stars 65 forks source link

Closed gallais closed 10 years ago

gallais commented 10 years ago

A small patch built on top of @stevana's reorganizing the README and the repository:

The pdfs are now in a dedicated directory (the README is therefore visible immediately)
The papers are now presented in a table (the dates where previously scatered around at the end of the lines)
Links are now offering direct download of pdfs rather than landing on a weird github page offering to view the raw content

michaelt commented 10 years ago

gallais, Thanks very much; the setup is much more reasonable. Now I just need to read the new papers...