Andy Han
Results
2
issues of
Andy Han
With bad tactics in Coq (#514), Proof General will hang forever (but can be interrupted with `C-c C-c` or `C-c C-x`). In response to @hendriktews's workaround suggestion, this PR exposes...
kind: feature
needs: fixing
This is a duplicate of #5 but I don't have permission to reopen it. I have spotify open, but when I do counsel-spotify-play it returns "(Shell command succeeded with no...