put old err msg back (apparently pdflatex doesn't print anything to error stream in this case)
add myself to pdf backend owners
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