/[eiffelstudio]/branches/eth/eve/Src/library/spelling
ViewVC logotype

Log of /branches/eth/eve/Src/library/spelling

View Directory Listing Directory Listing


Sticky Revision:

Revision 91302 - Directory Listing
Modified Wed Feb 27 17:09:56 2013 UTC (6 years, 9 months ago) by julian
AutoProof: enabled invariant generation. updated array translation.

Revision 91259 - Directory Listing
Modified Wed Feb 20 08:53:40 2013 UTC (6 years, 9 months ago) by julian
Fixed ecf of spelling library.

Revision 91256 - Directory Listing
Modified Sat Feb 16 16:47:49 2013 UTC (6 years, 9 months ago) by fischebe
Spell checker library: documentation with user guide completed.

Revision 91255 - Directory Listing
Modified Sat Feb 16 16:29:13 2013 UTC (6 years, 9 months ago) by fischebe
Bug with word definition in spell checker library corrected.

Revision 91240 - Directory Listing
Modified Fri Feb 15 15:35:18 2013 UTC (6 years, 9 months ago) by fischebe
Spell checker library made more robust for rare words. Spell check tool now checks names of formal generic parameters and variables in attached checks.

Revision 91231 - Directory Listing
Added Thu Feb 14 21:04:58 2013 UTC (6 years, 9 months ago) by fischebe
Spell checker library added. Draft of EiffelStudio tool to check spelling of source code completed.

  ViewVC Help
Powered by ViewVC 1.1.23