Re: [isabelle] Isabelle2014-RC0 available for testing



Dear Makarius,

Am Mittwoch, den 09.07.2014, 17:33 +0200 schrieb Makarius:
> On Tue, 8 Jul 2014, Joachim Breitner wrote:
> 
> >  * The spellchecker doesn’t know about a few probably Isabelle specific
> >    words such as “instantiation”. Maybe these should be added?
> 
> See also the Isabelle/jEdit manual.  Users can choose their own 
> dictionaries, and include or exclude entries. There is also a nice context 
> menu for that.

sorry for not being clear. I wasn’t asking how to extend the dictionary
locally. My suggestion was to extend the dictionary, as shipped, with
uncommon, Isabelle-related words. Of course, a very minor suggestion.

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.