texova verze stareho plaintextu
Merge branch 'master' of http://github.com/edasubert/tct

Conflicts:
	papers/2014-trcomp/abstract.tex
better to commit under a distinct filename to avoid clashes