File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
ArevSansLicense.txt | 185 | 31-May-2006 08:11 |
BitstreamVeraLicense.txt | 5954 | 31-May-2006 08:11 |
ChangeLog | 1889 | 31-May-2006 08:11 |
GPLv2.txt | 17998 | 31-May-2006 08:11 |
LPPLv1-3a.txt | 18502 | 31-May-2006 08:11 |
Makefile | 1929 | 31-May-2006 08:11 |
README | 1315 | 31-May-2006 08:11 |
arevdoc.lyx | 74299 | 31-May-2006 08:11 |
arevdoc.pdf | 528466 | 31-May-2006 08:11 |
arevdoc.tex | 23812 | 31-May-2006 08:11 |
fontsample.tex | 1535 | 31-May-2006 08:11 |
mathtesty.pdf | 183076 | 31-May-2006 08:11 |
mathtesty.tex | 24952 | 31-May-2006 08:11 |
prosper-arev.tex | 166 | 31-May-2006 08:11 |
prosper-cmbright.tex | 170 | 31-May-2006 08:11 |
prosper-cmss.tex | 114 | 31-May-2006 08:11 |
prosper-header.tex | 556 | 31-May-2006 08:11 |
prosper-helvetica.tex | 150 | 31-May-2006 08:11 |
prosper-kerkis.tex | 169 | 31-May-2006 08:11 |
prosper-lcmss.tex | 153 | 31-May-2006 08:11 |
prosper-text.tex | 887 | 31-May-2006 08:11 |