Index of /~phm/dok

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 data                    06-Aug-2003 11:11  354   
 dok.de.aux              12-Jun-2002 15:12  391   
 dok.de.log              12-Jun-2002 15:12  6.8K  
 dok.de.out              12-Jun-2002 15:12    0   
 dok.de.pdf              12-Jun-2002 15:12   28K  
 dok.de.sub              12-Jun-2002 15:12  198   
 dok.de.tex              12-Jun-2002 15:12  458   
 dok.de.toc              12-Jun-2002 15:12    0   
 dok.en.aux              12-Jun-2002 15:12  391   
 dok.en.log              12-Jun-2002 15:12  6.6K  
 dok.en.out              12-Jun-2002 15:12    0   
 dok.en.pdf              12-Jun-2002 15:12   28K  
 dok.en.sub              12-Jun-2002 15:12  198   
 dok.en.tex              12-Jun-2002 15:12  438   
 dok.en.toc              12-Jun-2002 15:12    0   
 index.de.html           06-Aug-2003 11:11  2.3K  
 index.en.html           06-Aug-2003 11:11  2.2K  
 phmtexts.de.aux         06-Aug-2003 11:11  391   
 phmtexts.de.log         06-Aug-2003 11:11  8.3K  
 phmtexts.de.out         06-Aug-2003 11:11    0   
 phmtexts.de.pdf         06-Aug-2003 11:11   27K  
 phmtexts.de.sub         06-Aug-2003 11:11  372   
 phmtexts.de.tex         06-Aug-2003 11:11  534   
 phmtexts.de.toc         06-Aug-2003 11:11    0   
 phmtexts.en.aux         06-Aug-2003 11:11  391   
 phmtexts.en.log         06-Aug-2003 11:11  8.2K  
 phmtexts.en.out         06-Aug-2003 11:11    0   
 phmtexts.en.pdf         06-Aug-2003 11:11   25K  
 phmtexts.en.sub         06-Aug-2003 11:11  332   
 phmtexts.en.tex         06-Aug-2003 11:11  514   
 phmtexts.en.toc         06-Aug-2003 11:11    0