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