kframework/k — pull request #744 by radumereuta (2014-07-22 16:08:20+00:00)
Title: Properly escaping list separators when printing to SDF.

Fixing #733
@dwightguth please review.