It would be funny to create scripts such that the proof view of the script is itself a well-formed script, but most of the time I just click on the split pane by accident and end up with *** Coq for *** Coq for X.v *** ***. x)
This also includes a slight cleanup of my previous PR since we discussed better ways to access the settings.
I'm doing pretty well with the Sublime interface so far, I think I'll stick with it. I'm slow but I do have more (I believe) improvements coming. Thanks again for making this plugin!
It would be funny to create scripts such that the proof view of the script is itself a well-formed script, but most of the time I just click on the split pane by accident and end up with
*** Coq for *** Coq for X.v *** ***
. x)This also includes a slight cleanup of my previous PR since we discussed better ways to access the settings.
I'm doing pretty well with the Sublime interface so far, I think I'll stick with it. I'm slow but I do have more (I believe) improvements coming. Thanks again for making this plugin!