Pablo Beltrán-Pellicer

Results 2 comments of Pablo Beltrán-Pellicer

Is it possible to enable/disable the spell checking? I mean, it's a wonderful feature, but almost everything inside a sagetex environment is marked in that red lines.