.POOL - Dateierweiterung
POOL ist Tex -Nachrichten.
Funktionen | Beschreibung |
---|---|
Dateierweiterung | .pool |
Format | N/A |
Entwickler von | LaTeX Project Development Team |
Kategorie | Document |
POOL ist Tex -Nachrichten.
Funktionen | Beschreibung |
---|---|
Dateierweiterung | .pool |
Format | N/A |
Entwickler von | LaTeX Project Development Team |
Kategorie | Document |
Die Pooldateierweiterung ist dem Tex, einem Typensatz- und Dokumentenvorbereitungssystem für verschiedene Plattformen, die von der Tex Users Group (TUG) entwickelt wurden, zugeordnet.
Die .Pool -Datei speichert Nachrichten in Tex.