ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/temporal-logic/?C=S&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] README.md                                        17-Oct-2024 15:16  1.2K  
[TXT] temporal-logic.ins                               17-Oct-2024 15:16  1.5K  
[TXT] temporal-logic.dtx                               17-Oct-2024 15:16   20K  
[   ] temporal-logic-doc.pdf                           17-Oct-2024 15:16  525K
Apache/2.2 Server at ftp.ntua.gr Port 80