Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: hnd.js Sprache: JAVA

Original von: Coq^©

(library
(name tuto2_plugin)
(public_name coq.plugins.tutorial.p2)
(libraries coq.plugins.ltac))

(rule
(targets demo.ml)
(deps (:pp-file demo.mlg) )
(action (run coqpp %{pp-file})))

¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.