search

thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.
https://www.cryptol.net
GNU General Public License v3.0
16 stars 6 forks source link

Version/backend information is broken in Linux #13

Closed thoughtpolice closed 11 years ago

thoughtpolice commented 11 years ago

Because of #1 when you use cryptol-version or cryptol-backends you get garbage output.

I have a fix for this. Creating just to keep track of it.