| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/doc/tools/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 189 B |
|
Quelle show_latex_messagesSprache: C |
|||||||||
|
#!/bin/sh
tooldir=$(dirname $0) if [ "$1" = "-no-overfull" ]; then cat $2 | "$tooldir"/latex_filter `cat $2 | wc -l` no else cat $1 | "$tooldir"/latex_filter `cat $1 | wc -l` yes fi ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-12) ¤*© Formatika GbR, Deutschland |
|
2026-07-27