Index of /cv/cv

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile2026-03-05 20:27 2.0K 
[   ]coauthors.xsl2026-03-05 20:27 1.3K 
[   ]cv.tgz2026-03-05 20:27 81K 
[   ]cv.xml2026-03-05 20:27 291K 
[   ]cv_html.xsl2026-03-05 20:27 16K 
[   ]cv_latex.xsl2026-03-05 20:27 14K 
[   ]papers_html.xsl2026-03-05 20:27 6.8K 
[   ]pubs_bibtex.xsl2026-03-05 20:27 3.1K 
[   ]pubs_html.xsl2026-03-05 20:27 5.2K 
[   ]resume_latex.xsl2026-03-05 20:27 7.8K 
[TXT]resume_template.sty2026-03-05 20:27 1.9K 
[   ]resume_txt.xsl2026-03-05 20:27 8.6K 

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