| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| Leslie_Lamport.jpg | 2017-May-02 13:44:22 | 38.0K | image/jpeg |
| README.md | 2017-Jun-14 10:42:44 | 1.0K | text/markdown;charset=utf-8 |
| latex-mr.pdf | 2017-Jun-14 10:40:48 | 322.7K | application/pdf |
| latex-mr.tex | 2017-Jun-14 10:40:04 | 171.5K | text/x-tex;charset=utf-8 |
