unicode support for special characters

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Closed lyhlbyl closed 8 years ago

lyhlbyl commented 9 years ago

to display and input special characters in GUI / programming panel, ..e.g /\

[x] json encoding
[x] an encode / deencode layerfor both gui and core, this layer should be generic, i.e. can work for different provers