generate .sty and .tex in latex backend, .pdf in pdf backend
modified samples/prog-equiv
polishing exercises and their tests/cfgs
Merge branch 'master' of github.com:kframework/k
re-enable xml validation (was committed commented out by mistake)
some more restructuring of tests in the tutorial
Merge branch 'master' of github.com:kframework/k
more restructuring of tests in the tutorial
finished restructuring0 all the tutorial tests
reorganized the tests and the configuration files of all exercises
Merge branch 'master' of github.com:kframework/k
Changes to the HTML & LaTeX backends
Solving some dependencies problems for latex
Fixing paths for peq
updated info in tests/config.xml with the new structure of prog-equiv.
Merge branch 'master' of github.com:kframework/k
fixed some latex erors in samples/prog-equiv/imp/peq.k
Merge branch 'master' of https://github.com/kframework/k
enable skip attribute in ktest config files