| products/Sources/formale Sprachen/C/Postgres/doc/src/sgml/ref/ (Postgres Database Version 18.4©) Datei vom 11.4.2026 mit Größe 2 kB |
|
SSL dune Sprache: Rust |
|||||||||
|
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (library
(name tuto0_plugin) (public_name rocq-runtime.plugins.tutorial.p0) (libraries rocq-runtime.plugins.ltac)) (rule (targets g_tuto0.ml) (deps (:mlg g_tuto0.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps})))) ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-09-27) ¤*© Formatika GbR, Deutschland |
|
2026-10-10