Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(rule
(targets all_stdlib.v)
(mode fallback)
(deps
build_all_stdlib.sh
(source_tree ../../../theories)
(source_tree ../../../plugins))
(action
(with-stdout-to all_stdlib.v
(bash "./build_all_stdlib.sh"))))
[ Dauer der Verarbeitung: 0.23 Sekunden
]