Disallow tab character in ProofScript.

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Disallow tab character in ProofScript. #72

Closed phlegmaticprogrammer closed 8 years ago

phlegmaticprogrammer commented 8 years ago

The tab character should be entirely disallowed in ProofScript. Currently it is fixed to 2 spaces, but in the future it should be disallowed completely, and error recovery should deal gracefully with that.

phlegmaticprogrammer commented 8 years ago

Tabs have been disallowed in this commit: 6d25c0e4eb7d0e3f4660e9c89574e26decc8ea84