kframework/k — pull request #904 by radumereuta (2014-08-29 19:20:37+00:00)
Title: Making the list terminator incorporate the label instead of just the separator.

@bmmoore please review.