Spracherkennung für: .mlg vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
DECLARE PLUGIN "coq-test-suite.good"
{
let state = Summary.ref ~local:true
~name:"elpi-compiler-cache"
None
}
VERNAC COMMAND EXTEND magic CLASSIFIED AS SIDEFF
| [ "magic" ] -> {
state := Some (fun () -> ())
}
END
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-10-03]
