Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/sgpviz/src/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 30.7.2024 mit Größe 1 kB

Quelle Makefile Sprache: XML

clean:
echo "make xsemi to rebuild the files for xsemigroup"
echo "make xaut to rebuild the files for xautomaton"

xsemi:
rm -f xsemi_new_funcs.tcl.*
touch xsemi_new_funcs.tcl.menu1
touch xsemi_new_funcs.tcl.menu2
touch xsemi_new_funcs.tcl.menu3
touch xsemi_new_funcs.tcl.menu4
touch xsemi_new_funcs.tcl.procs
touch xsemi_new_funcs.tcl.names
chmod a+w xsemi_new_funcs.tcl.menu1 xsemi_new_funcs.tcl.menu2 xsemi_new_funcs.tcl.menu3 xsemi_new_funcs.tcl.menu4 xsemi_new_funcs.tcl.procs xsemi_new_funcs.tcl.names

xaut:
rm -f xaut_new_funcs.tcl.*
touch xaut_new_funcs.tcl.menu
touch xaut_new_funcs.tcl.procs
touch xaut_new_funcs.tcl.names
chmod a+w xaut_new_funcs.tcl.menu xaut_new_funcs.tcl.procs xaut_new_funcs.tcl.names

xnumsemi:
rm -f xnumsemi_new_funcs.tcl.*
touch xnumsemi_new_funcs.tcl.menu1
touch xnumsemi_new_funcs.tcl.menu2
touch xnumsemi_new_funcs.tcl.menu3
touch xnumsemi_new_funcs.tcl.procs
touch xnumsemi_new_funcs.tcl.names
chmod a+w xnumsemi_new_funcs.tcl.menu1 xnumsemi_new_funcs.tcl.menu2 xnumsemi_new_funcs.tcl.menu3 xnumsemi_new_funcs.tcl.procs xnumsemi_new_funcs.tcl.names

quality100%

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.