Index of /cv/cv

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile2024-10-06 19:00 2.0K 
[   ]coauthors.xsl2024-10-06 19:00 1.3K 
[   ]cv.tgz2024-10-06 19:00 76K 
[   ]cv.xml2024-10-06 19:00 273K 
[   ]cv_html.xsl2024-10-06 19:00 16K 
[   ]cv_latex.xsl2024-10-06 19:00 14K 
[   ]papers_html.xsl2024-10-06 19:00 6.8K 
[   ]pubs_bibtex.xsl2024-10-06 19:00 3.1K 
[   ]pubs_html.xsl2024-10-06 19:00 5.2K 
[   ]resume_latex.xsl2024-10-06 19:00 7.8K 
[TXT]resume_template.sty2024-10-06 19:00 1.9K 
[   ]resume_txt.xsl2024-10-06 19:00 8.6K 

Apache/2.4.10 (Debian) Server at adam.chlipala.net Port 80