Re: [isabelle] Isabelle2014-RC0 available for testing

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.

What is missing in this release: proper support for non-English languages. E.g. German with its treatment of capitalization will not quite work, even if you give it a German word list via the documented settings and options. French might work, but I did not try it.


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