| products/sources/formale sprachen/Coq/ide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: bmtable.C Sprache: XMLUntersuchung Coq© |
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
<style-scheme id="coq_style" _name="Coq highlighting based on Ssr manual" parent-scheme="classic" version="1.0"> <author>The Coq Dev Team</author> <_description>Coq/Ssreflect color scheme for the vernacular language</_description> <style name="coq:comment" foreground="#brown"/> <style name="coq:coqdoc" foreground="#brown" italic="true"/> <style name="coq:vernac-keyword" bold="true" foreground="#dark violet"/> <style name="coq:gallina-keyword" bold="true" foreground="#orange red"/> <style name="coq:identifier" foreground="#navy"/> <style name="coq:constr-keyword" foreground="#dark green"/> <style name="coq:constr-sort" foreground="#008080"/> <style name="coq-ssreflect:comment" foreground="#b22222"/> <style name="coq-ssreflect:coqdoc" foreground="#b22222" italic="true"/> <style name="coq-ssreflect:vernac-keyword" bold="true" foreground="#a021f0"/> <style name="coq-ssreflect:gallina-keyword" bold="true" foreground="#a021f0"/> <style name="coq-ssreflect:identifier" bold="true" foreground="#0000ff"/> <style name="coq-ssreflect:constr-keyword" foreground="#228b22"/> <style name="coq-ssreflect:constr-sort" foreground="#228b22"/> <style name="coq-ssreflect:tactic" foreground="#101092"/> <style name="coq-ssreflect:endtactic" foreground="#ff3f3f"/> <style name="coq-ssreflect:iterator" foreground="#be6ad4"/> <style name="coq-ssreflect:string" foreground="#8b2252"/> </style-scheme> ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
