[ 4096] . [ 1644] README [ 443] manifest.txt [ 403] LICENSE [ 227438] exsol.pdf [ 2547] exsol.ins [ 59594] exsol.dtx [ 69744] example-solutionbook.pdf [ 61820] example.pdf [ 55624] example-local.pdf [ 56960] example-inline.pdf [ 55413] example-formulacollection.pdf [ 58600] example-external.pdf [ 48449] example-exercisebook.pdf 1 directory, 13 files