[isabelle-dev] NEWS: Spell-checker support

Tobias Nipkow nipkow at in.tum.de
Thu Apr 24 17:54:56 CEST 2014

Most useful! For fun I tried it on a text that has been read by many people and
it found another typo :-)

Thanks a lot for this

On 14/04/2014 11:31, Makarius wrote:
> *** Prover IDE -- Isabelle/Scala/jEdit ***
> * Spell-checker support for document text, comments etc.
> This refers to Isabelle/282f3b06fa86.
> Spell-checker support was one of the many missing bits over the years. Last
> Friday afternoon I intended to spend a few hours to integrate one of the
> existing jEdit plugins, but it turned out a few days to make it more than half
> finished (using the plugins only to get some general ideas).
> The current state is already somewhat usable, but a few details are still
> missing.  Early adopters may already take a look, and point out further omissions.
> The underlying JOrtho 1.0 engine (which is relatively new) is a bit funny. Its
> Java sources are full of spelling mistakes, so maybe the author is just dyslexic
> and wants to help himself.  Moreover he uses the largest possible dictionary by
> default (generated from Wiktionary), but a good spell-checker needs to be
> somewhere in between too short vs. too long word lists.
> 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.
> Last week I did not know anything about spell-checking yet, and I need to
> continue this a bit more, until it reaches production quality, and starting up
> Emacs for old-fashioned ispell can be avoided altogether.
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list