kframework/k — pull request #435 by traiansf (2014-05-12 07:45:29+00:00)
Title: Latex fix2

By our powers combined, here is a proposed fix for Issue #418
@grosu especially, but also everybody else: please check pdf output and suggest improvements.

@dwightguth please review

Note: this is the same pull request as #433 only rebased from master.