Filename | Modification time | Size |
---|---|---|
ArevSansLicense.txt | 185 B | |
BitstreamVeraLicense.txt | 5954 B | |
ChangeLog | 1889 B | |
GPLv2.txt | 18 KiB | |
LPPLv1-3a.txt | 18 KiB | |
Makefile | 1929 B | |
README | 1315 B | |
arevdoc.lyx | 73 KiB | |
arevdoc.pdf | 516 KiB | |
arevdoc.tex | 23 KiB | |
fontsample.tex | 1535 B | |
mathtesty.pdf | 179 KiB | |
mathtesty.tex | 24 KiB | |
prosper-arev.tex | 166 B | |
prosper-cmbright.tex | 170 B | |
prosper-cmss.tex | 114 B | |
prosper-header.tex | 556 B | |
prosper-helvetica.tex | 150 B | |
prosper-kerkis.tex | 169 B | |
prosper-lcmss.tex | 153 B | |
prosper-text.tex | 887 B |