Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Isabelle
/
Tools
/
Metis
/ (
Beweissystem Isabelle
Version 2025-1
©
) Datei vom 16.11.2025 mit Größe 165 B
Quelle fix_metis_license Sprache: unbekannt
#!/usr/bin/env bash
unset CDPATH
THIS=$(cd "$(dirname "$
0
")"; echo $PWD)
(cd $THIS;
perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-06-10]
2026-06-09