[isabelle-dev] NEWS: Spell-checker support
makarius at sketis.net
Tue Apr 15 23:01:29 CEST 2014
On Mon, 14 Apr 2014, Makarius wrote:
> The present Isabelle component jortho-1.0-1 bundles the very good
> English dictionaries from http://wordlist.sourceforge.net/ which are
> also used in GNU Aspell, Hunspell (Open Office, Firefox) etc. I might
> need to revisit that again, to make sure that the parameters for English
> variants come out exactly as normally used in aspell.
There is now another update Isabelle/2cc2cb56cbdd with the following NEWS:
* Integrated spell-checker for document text, comments etc. with
completion popup and context-menu. See also "Plugin Options /
Isabelle / General / Spell Checker" for some system options.
I am actually trying to write an article at the moment, which means the
testing conditions are somewhat realistic, but the procedure is slow and
The context menu of jEdit is now used in a more sensible way -- it allows
to update the dictionary locally, optionally with permanent storage. As
usual, such menu items are based on jEdit "actions", which are not bound
to keyboard shortcuts by default -- according to standard jEdit customs.
Users need to find some free (function) keys themselves for the actions
that they use often.
The Isabelle component jortho-1.0-2 now makes "en" the union of all
English variants, instead of the intersection. This was the conclusion of
studying the scowl-7.1 configuration for Aspell carefully, although I am
still not 100% sure what makes most sense.
As a foreigner who is using English on a daily basis for about 25 years, I
am still unsure which dialect it actually is. Maybe a Bavarian version of
"en_GB-ize" according to the scowl/aspell terminology.
More information about the isabelle-dev