|
|
38.
|
|
|
Scripted Wizard - provides scripted wizard functionality.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:203(para)
|
|
|
39.
|
|
|
Source Code Formatter (AStyle) - formats source code files with specific style.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:208(para)
|
|
|
40.
|
|
|
Tidycmt (Disabled by default.) - formats comments on file save.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:214(para)
|
|
|
41.
|
|
|
To-Do List - adds to-do items to source code.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:220(para)
|
|
|
42.
|
|
|
WinXP Look'n'Feel - creates manifest file which enables the version 6.0 of the Common Controls on <trademark>Windows XP</trademark>.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:225(para)
|
|
|
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/>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:125(para)
|
|
|
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>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:233(para)
|
|
|
45.
|
|
|
CoqIDE Proof Assistant
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:244(title)
|
|
|
46.
|
|
|
Home Page: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:245(para)
|
|
|
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.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:249(para)
|
