Ramkumar Ramachandra

[sercomp] Print mode strips out comments from .v

2

`sercomp --mode=print ` produces a `.v` without the comments in the original.

Unusable on an NFS mount

3

My shell isn't doing anywhere near as badly, so it's not a general lag issue. Why is each directory change so painful?

Should not do any synchronous IO

2

Especially after typing `~/`, it hangs for a bit for me. It would be nice if we could do the IO of listing the entries in a directory incrementally.

Allow grep-root specification

1

Often, we need to grep while working with files from multiple projects, or need to narrow grep within a subfolder of the current project. A prompt for directory name at...

Subprocess at_fork doesn't seem to work

3

I'm using simplecov with minitest to generate coverage reports. I have the following code I want subprocess coverage for: ```ruby def test_httpd Dir.mktmpdir do |dir| Clayoven::Init.init dir Dir.chdir dir do...

This version has the formatting changes split out nicely.

**Name of the lexer** Coq **Code sample** ```coq (* Now the negative universal property. *) Definition prod_coind_uncurried `{A : X -> Type} `{B : X -> Type} : (forall x,...

Fix for better error messages when admitting is broken

2

#184 is broken. For the following code: ```coq Definition admitAdmitted: 1 = 0. admit. ``` coqide prints: ``` No more goals, but there are some goals you gave up: 1...

Housekeeping: yarn berry, all possible upgrades

2

Yarn is a great package manager; it's fast, modern, and overall, much better than npm. I've switched the package manager, done a bunch of package upgrades, and tested that everything...