jrocnik present update decompose-isar
authorjrocnik
Thu, 21 Jul 2011 12:31:11 +0200
branchdecompose-isar
changeset 42156cd9e17d6d1b7
parent 42155 e9ca926f8f81
child 42157 9d2a5cfe26b4
jrocnik present update
doc-src/isac/jrocnik/present-1.tex