5 Commits

Author	SHA1	Message	Date
kazu	890c6c7108	Merge branch 'master' of https://git.frank-ebner.de/toni/IPIN2016	2016-04-23 21:27:39 +02:00
kazu	099079d6df	added recent filtering.tex	2016-04-23 21:24:56 +02:00
Lukas Koeping	01c77354c1	First version of activity paragraph	2016-04-22 14:51:19 +02:00
kazu	db2b9dd461	worked on TeX eval and transition	2016-04-17 17:40:44 +02:00
Toni	b5e5612f30	added filtering	2016-04-16 21:05:56 +02:00