revert 464472e
more hooks for logik
symplifying the multiconstraint when returning it.
Changed family to reduce number of solutions.
remove sort-cells option and related compiled file
remove sorted-cells option
remove duplicated function and some other stuff
added support for unflattening before unparsing
trying another Logik
desired logik
Merge branch 'master' of github.com:kframework/k
refactor latex backend
refactor pdf backend
some other improvements in pdf backend
put old err msg back (apparently pdflatex doesn't print anything to error stream in this case)
add myself to pdf backend owners
Merge remote-tracking branch 'upstream/master'