Ao invés de responder a sua pergunta diretamente, organizei uma tabela com alguns IDEs.

obs. 1: "dicionários" aqui são apenas listas de palavras. O Aspell (que visa substituir o antigo Ispell, famoso em sistemas UNIX) é simultanemante uma biblioteca de palavras de inúmeras línguas e um software de verificação ortográfica, que utiliza esta biblioteca. Já o OpenOffice na tabela refere-se à biblioteca desenvolvida para ser utilizada com o processador OpenOffice (http://wiki.services.openoffice.org/wiki/Dictionaries), mas que pode ser utilizada por outros softwares, como os IDEs acima. Os IDEs que utilizam bibliotecas próprias fornecem-nas com o próprio IDE ou como adicionais que podem ser baixados no site do desenvolvedor.

obs. 2: Bakoma é uma distribuição LaTeX comercial.

Ivan