|
|
33.
|
|
|
To-do list
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:74(para)
|
|
|
34.
|
|
|
Extensible wizard based on scripts (for creating new projects/targets/etc)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:75(para)
|
|
|
35.
|
|
|
Autosave (saves your work in the unfortunate case of a crash)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:76(para)
|
|
|
36.
|
|
|
<application>Code::Blocks</application> is the open-source, cross-platform Integrated Development Environment (IDE). Built around a plugin framework, Code::Blocks 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 allowing unlimited extensibility. 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:64(para)
|
|
|
37.
|
|
|
Addtional plugins for Code:Blocks 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:79(para)
|
|
|
38.
|
|
|
CoqIDE Proof Assistant
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:244(title)
|
|
|
39.
|
|
|
Home Page: <ulink url="http://coq.inria.fr"> http://coq.inria.fr </ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:87(para)
|
|
|
40.
|
|
|
<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 IDE for semi-interactive development of machine-checked proofs. It is developed using Objective Caml and Camlp5. A complete reference manual, standard library and other documents are found on it the Coq 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:90(para)
|
|
|
41.
|
|
|
Eclipse IDE
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:96(title)
|
|
|
42.
|
|
|
Home Page: <ulink url="http://www.eclipse.org/"> http://www.eclipse.org </ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:97(para)
|
