Browsing English (Canada) translation

Don't show this notice anymore
Before translating, be sure to go through Launchpad Translators instructions.
3140 of 178 results
31.
Default MIME handler
(no translation yet)
Located in ../docs/development/C/development.xml:72(para)
32.
Wizard to create new Code::Blocks plugins
(no translation yet)
Located in ../docs/development/C/development.xml:73(para)
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)
3140 of 178 results

This translation is managed by translation group launchpad-translators.

You are not logged in. Please log in to work on translations.

No-one has contributed to this translation yet.