Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
COQBIN?=
%: Makefile.rocq
Makefile.rocq: _CoqProject
$(COQBIN)rocq makefile -f _CoqProject -o Makefile.rocq
-include Makefile.rocq
[ Dauer der Verarbeitung: 0.25 Sekunden
]
