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