ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/divine/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] README                                           08-Mar-2013 18:15  347   
[   ] divine.bib                                       08-Mar-2013 00:38  492   
[TXT] divine.dtx                                       08-Mar-2013 20:13   10K  
[TXT] divine.ins                                       08-Mar-2013 00:56  1.9K  
[   ] divine.pdf                                       12-Mar-2013 01:12  253K  
[   ] fdvsample.pdf                                    12-Mar-2013 01:12   24K  
[   ] fdvsample.tex                                    08-Mar-2013 00:43  375
Apache/2.2 Server at ftp.ntua.gr Port 80