File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
ArevSansLicense.txt | 185 B | 2006-May-31 17:11 |
BitstreamVeraLicense.txt | 5.8 KiB | 2006-May-31 17:11 |
ChangeLog | 1.8 KiB | 2006-May-31 17:11 |
GPLv2.txt | 17.6 KiB | 2006-May-31 17:11 |
LPPLv1-3a.txt | 18.1 KiB | 2006-May-31 17:11 |
Makefile | 1.9 KiB | 2006-May-31 17:11 |
README | 1.3 KiB | 2006-May-31 17:11 |
arevdoc.lyx | 72.6 KiB | 2006-May-31 17:11 |
arevdoc.pdf | 516.1 KiB | 2006-May-31 17:11 |
arevdoc.tex | 23.3 KiB | 2006-May-31 17:11 |
fontsample.tex | 1.5 KiB | 2006-May-31 17:11 |
mathtesty.pdf | 178.8 KiB | 2006-May-31 17:11 |
mathtesty.tex | 24.4 KiB | 2006-May-31 17:11 |
prosper-arev.tex | 166 B | 2006-May-31 17:11 |
prosper-cmbright.tex | 170 B | 2006-May-31 17:11 |
prosper-cmss.tex | 114 B | 2006-May-31 17:11 |
prosper-header.tex | 556 B | 2006-May-31 17:11 |
prosper-helvetica.tex | 150 B | 2006-May-31 17:11 |
prosper-kerkis.tex | 169 B | 2006-May-31 17:11 |
prosper-lcmss.tex | 153 B | 2006-May-31 17:11 |
prosper-text.tex | 887 B | 2006-May-31 17:11 |