KWARC/sTeX — pull request #19 by kohlhase (2014-08-07 23:45:21+00:00)
Title: fixing option passing (need langfiles for smultiling)

this is essential for fixing smglom