Re: [isabelle] Two problems about emacs and jedit
On 12/04/13 17:50, jiangdc wrote:
> I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type =>
> or \<Rightarrow>, it converts to a symbol, which looks like a very
> tiny "=", but not looks like a normal rightarrow.
Try installing the "fonts-stix" package as so:
sudo apt-get install fonts-stix
and restart emacs. This should hopefully solve the problem.
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and