Menu

#95 Show problems with atoms

closed
nobody
None
5
2012-10-08
2009-09-21
Stefan Kuhn
No

If atom typing fails on an atom, we show an underlining. The steps are explained in commit messages.

Discussion


Log in to post a comment.