diff --git a/doc/idetools.txt b/doc/idetools.txt index fdc4ebde67..7e51669f27 100644 --- a/doc/idetools.txt +++ b/doc/idetools.txt @@ -8,6 +8,11 @@ .. contents:: +.. raw:: html +
+ Nimrod differs from many other compilers in that it is really fast, and being so fast makes it suited to provide external queries for text editors about the source code being written. Through the+ "yes, I'm the creator" -- Araq, 2013-07-26 19:28:32. +