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