You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| wasy2 | The wasy fonts (Waldi symbol fonts). |
| Name | Notes |
|---|---|
| ps-type1/ |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| lasychr.mf | 15 KiB | 2002-Jun-03 | |
| legal.txt | 415 bytes | 2002-Jun-03 | |
| rsym.mf | 60 KiB | 1992-Sep-13 | |
| wasy10.mf | 4 KiB | 1990-May-27 | |
| wasy5.mf | 4 KiB | 1991-Jan-07 | |
| wasy6.mf | 4 KiB | 1991-Jan-07 | |
| wasy7.mf | 4 KiB | 1991-Jan-07 | |
| wasy8.mf | 4 KiB | 1991-Jan-07 | |
| wasy9.mf | 4 KiB | 1991-Jan-07 | |
| wasyb10.mf | 4 KiB | 1992-Sep-10 | |
| wasychr.mf | 10 KiB | 2004-Apr-29 | |
| wasydoc.pdf | 176 KiB | 2004-Apr-29 | |
| wasydoc.tex | 17 KiB | 1992-Oct-07 | |
| wasyfont.2 | 5 KiB | 1992-Sep-13 | |
| wasyfont.tex | 6 KiB | 1992-Oct-12 |
*File sizes in kibibytes.