| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/structures/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 7 kB |
|
Quelle macosify_accel.sh Sprache: Shell |
|||||||||
|
#!/usr/bin/sed -f
s/^;\{0,1\} *\(.*\)<Control>\(.*\)$/\1<Primary>\2/ s/^;\{0,1\} *\(.*\)<Alt>\(.*\)$/\1<Control>\2/ ¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-09-28) ¤*© Formatika GbR, Deutschland |
|
2026-10-10