add
Merge branch 'master' of https://github.com/kframework/k
Command line option for loading configurations saved using the "binary" mode.
Fixes for the load-cfg option.
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' of https://github.com/kframework/k
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