| products/sources/formale Sprachen/Coq/ide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: coq_style.xml Sprache: XMLOriginal von: 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> ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤ |
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
