Browsing Spanish translation

39.

Source Code Formatter (AStyle) - formats source code files with specific style.

40.

Tidycmt (Disabled by default.) - formats comments on file save.

41.

To-Do List - adds to-do items to source code.

42.

WinXP Look'n'Feel - creates manifest file which enables the version 6.0 of the Common Controls on <trademark>Windows XP</trademark>.

43.

<application>Code::Blocks</application> is an open-source, cross-platform, free C++ Integrated Development Environment (<acronym>IDE</acronym>). Built around a plugin framework, <application>Code::Blocks</application> can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. It is based on a self-developed plugin framework that allows unlimited xtensibility. Most of its functionality is already provided by pre-installed plugins included in the base package: <placeholder-1/>

44.

Addtional plugins for <application>Code::Blocks</application> can be obtained at their wiki website: <ulink url="http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins"> http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins</ulink>

45.

CoqIDE Proof Assistant

46.

Home Page: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>

47.

<application>Coq</application> is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an <acronym>IDE</acronym> for semi-interactive development of machine-checked proofs. It is developed using the Objective Caml language (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, with a bit of C. A complete reference manual, standard library, and other documents can be found on the <application>Coq</application> website. This is specialized software requiring a significant knowledge of formal mathematical theory, even if your intent is to develop or test software algorithms.

48.

Eclipse <acronym>IDE</acronym>