| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README | 2010-Sep-12 15:48:23 | 1.2K | text/plain; charset=utf-8 |
| automata.mp | 2009-Nov-02 10:32:38 | 25.7K | application/octet-stream |
| example.mp | 2010-Sep-12 15:46:21 | 3.5K | application/octet-stream |
| example.pdf | 2010-Sep-12 15:45:27 | 88.3K | application/pdf |
| example.tex | 2010-Sep-12 15:15:49 | 1.3K | text/x-tex; charset=utf-8 |