[       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