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