Index of /~chrzaszcz/Papuq

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] Coq_en/                 29-Jun-2007 02:39    -   
[DIR] Coq_pl/                 29-Jun-2007 02:39    -   
[TXT] READ_ME.txt             29-Jun-2007 02:40  233   
[   ] coq-8.0pl4.papuq.diff   12-Apr-2007 04:22   73K  
[   ] coq-8.1.papuq.diff      29-Jun-2007 02:42   75K
Apache/2.2.22 (Unix) mod_ssl/2.2.22 OpenSSL/1.0.0i DAV/2 mod_python/3.3.1 Python/2.7.2 SVN/1.7.4 mod_jk/1.2.32 mod_watch/4.3 mod_perl/2.0.5 Perl/v5.12.3 Server at duch.mimuw.edu.pl Port 80