Was ist die POOL-Datei?
Die POOL-Dateiendung ist mit TeX verknüpft, einem Satz- und Dokumentvorbereitungssystem für verschiedene Plattformen, das von der TeX Users Group (TUG) entwickelt wurde.
In der POOL-Datei werden in TeX geschriebene Nachrichten gespeichert.
Programme, die .POOL-Dateien öffnen können
![]() LaTeX Project Development Team
LaTeX
|
Windows |
Wie öffne ich eine .POOL-Datei?
Wenn Sie Probleme beim Öffnen der Datei POOL haben, liegt das Problem in den meisten Fällen nur am Fehlen der richtigen installierten Anwendung. Wählen Sie eines der Programme aus der Liste aus und installieren Sie es auf Ihrem Gerät. Das Betriebssystem sollte dem installierten Programm automatisch das Dateiformat POOL zuordnen. Wenn nicht, klicken Sie mit der rechten Maustaste auf Ihre POOL-Datei und wählen Sie aus dem Menü "Öffnen mit" . Wählen Sie dann das installierte Programm aus und bestätigen Sie den Vorgang. Jetzt sollten alle POOL-Dateien automatisch mit dem ausgewählten Programm geöffnet werden.