. [ 1644] README [ 320] manifest.txt [ 403] LICENSE [ 288497] exsol.pdf [ 2325] exsol.ins [ 48772] exsol.dtx [ 102060] example-solutionbook.pdf [ 101326] example.pdf [ 95452] example-local.pdf [ 86274] example-formulacollection.pdf 0 directories, 10 files