Escape the goal/witness strings when printing - Githubissues

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Escape the goal/witness strings when printing #75

Closed tchajed closed 7 years ago

tchajed commented 7 years ago

Fixes #74.

cpitclaudel commented 7 years ago

Thanks!