| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| readme.tex | 5.1 KiB | 1995-Jul-04 23:00 |
| tiling.dvi | 26.9 KiB | 1995-Jul-08 23:00 |
| test.tex | 254 B | 1995-Jul-08 23:00 |
| plain.mft | 1.7 KiB | 1995-Jul-08 23:00 |
| tiling.mp | 15.8 KiB | 1995-Jul-08 23:00 |
| mproof.ps | 68.7 KiB | 1995-Jul-08 23:00 |
| README.french | 810 B | 1995-Jul-08 23:00 |
| tiling.tex | 25.7 KiB | 1995-Jul-08 23:00 |
| mproof.dvi | 336 B | 1995-Jul-08 23:00 |
| test.ps | 93.6 KiB | 1995-Jul-19 23:00 |
| README | 1.2 KiB | 1995-Jul-19 23:00 |
| example.tex | 1.6 KiB | 1995-Jul-19 23:00 |
| example.mp | 1.2 KiB | 1995-Jul-19 23:00 |
| example.1 | 3.7 KiB | 1995-Jul-19 23:00 |
| example.dvi | 2.2 KiB | 1995-Jul-19 23:00 |
| test.dvi | 636 B | 1995-Jul-19 23:00 |
| example.2 | 9.0 KiB | 1995-Jul-19 23:00 |
| example.3 | 3.7 KiB | 1995-Jul-19 23:00 |
| example.4 | 9.6 KiB | 1995-Jul-19 23:00 |
| example.5 | 58.7 KiB | 1995-Jul-19 23:00 |
| readme.pdf | 48.9 KiB | 2006-Mar-20 00:00 |