added issue #157
KTEST: Write a document of path resolution rule of configuration files
modified samples/prog-equiv/peq.k
Merge branch 'master' of https://github.com/kframework/k
modified prog-equiv/peq.k
reorganized the folder samples/prog-equiv
annotate xml elements with location information and use that in error messages
don't copy sty file to root folder, remove a duplicated function, ( #158 )
remove another duplicated function
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