lib/fonts/fonts.dir
author wenzelm
Fri Oct 05 21:52:39 2001 +0200 (2001-10-05)
changeset 11701 3d51fbf81c17
parent 2777 3396eb1fa01d
permissions -rw-r--r--
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
"num" syntax (still with "#"), Numeral0, Numeral1;
     1 2
     2 isabelle14.bdf -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
     3 isabelle24.bdf -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0