[isabelle-dev] x-symbols

Lawrence Paulson lp15 at cam.ac.uk
Fri Sep 4 11:32:03 CEST 2009


It is not available in with Aquamacs (http://aquamacs.org/). I will  
try the other Emacs that you mention.
Larry

On 3 Sep 2009, at 20:10, David Aspinall wrote:

> On Emacs 23, there should be "Options -> Set Default Font..." instead.
> Do you have that option?




More information about the isabelle-dev mailing list