| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Font-Source.readme | Text File | 37 | 1KB | 1994-08-31 |
| Isabelle.readme | Text File | 16 | 363b | 1994-09-27 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| Isabelle_Bold.ttf | Unknown | 130KB | 1994-09-27 | |
| Isabelle_BoldItalic.ttf | Unknown | 80KB | 1994-09-27 | |
| Isabelle_Italic.ttf | Unknown | 135KB | 1994-09-27 | |
| Isabelle.ttf | Unknown | 136KB | 1994-09-27 | |