Lädt...
Lädt...
TeX-Nachrichten
Dateityp: Dokumentdatei
Eine Pool-Dateierweiterung steht im Zusammenhang mit TeX, einem Dokumentenvorbereitungssystem. Eine .pool-Datei enthält Nachrichten.
Dateityp-Kategorie:
Dokumentdatei
Aktualisierungsdatum: 7. September 2025
Die Pool-Dateiendung ist mit TeX verbunden, einem Satz- und Dokumentvorbereitungssystem für verschiedene Plattformen, das von der TeX Users Group (TUG) entwickelt wurde.
Die .pool-Datei speichert Nachrichten, die in TeX geschrieben sind.
Verwenden Sie kompatible Tools, um mit *.pool-Dateien zu arbeiten.
Wahrscheinlich kann nicht in andere Formate konvertiert werden.
Software-Anwendungen, die andere Aufgaben mit pool Dateien ausführen:
Microsoft Windows
Language
