| changeset 2771 | 9c85894d223d |
| parent 2298 | df82271be07b |
| child 2777 | 3396eb1fa01d |
--- a/lib/fonts/fonts.dir Fri Mar 07 15:33:53 1997 +0100 +++ b/lib/fonts/fonts.dir Fri Mar 07 15:34:10 1997 +0100 @@ -1,3 +1,3 @@ -2 -isacr14.bdf -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0 -isacb24.bdf -isabelle-courier-bold-r-normal--24-240-75-75-m-150-isabelle-0 +4 +isabelle14.bdf -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0 +isabelle24.bdf -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0