cmd-contents-of-this-folder.bat
cmd-create-PDF-png-high-quality.bat
cmd-create-PDF-thumbnail.bat
cmd-folderize.bat
contents-of-this-folder.txt
kehitys6.pdf
kehitys6.png
kehitys6.tex
kuva15.pdf
kuva15.png
kuva15.tex
kuva16.pdf
kuva16.png
kuva16.tex
kuva18.pdf
kuva18.png
kuva18.tex
kuva18a.pdf
kuva18a.png
kuva18a.tex
kuva18b.pdf
kuva18b.png
kuva18b.tex
kuva18d.pdf
kuva18d.png
kuva18d.tex
kuva18e.pdf
kuva18e.png
kuva18e.tex
kuva18f.pdf
kuva18f.png
kuva18f.tex
kuva19.pdf
kuva19.png
kuva19.tex
kuva23.pdf
kuva23.png
kuva23.tex
kuva25.pdf
kuva25.png
kuva25.tex
sarrus3.pdf
sarrus3.png
sarrus3.tex