ClemsonRSRG/RESOLVEWebIDE-v4 — pull request #29 by yushan87 (2014-11-11 04:03:46+00:00)
Title: VCs are displayed appropriately

1) Goals where getting split if we have lambda functions. The editor thinks our goal has the form " : ", which is no longer true with the new VC generator.
2) Line number sorting needs to parse the strings as integers before attempting to compare.