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.23 Sekunden
]
