Julin S

I had been trying gtkwave and for some reason my vcd files would load without error but the graph wouldn't display. Tried the latest version as well. Then I found...

Since dephell uses only Python>=3.6 can't this be closed?

I'm a beginner in coq and I haven't done any complex stuff yet. Based on my limited experience, I think 1. If multiple sentences are check with `CoqToLine`, the output...

> I'll have to keep thinking about this and how best to implement it, if at all. Yeah, if it's doable and someone finds time to do it :-) >...

Okay, I think the 'comment going out of sync' problem is about updating the 'output-comment' when the input changes. How about making this 'output as comment' feature just as something...

Is there a guide from where we can learn how to configure nomacs using that file? I couldn't find one.

I'm getting the same error with coq 8.12.2 Have anyone found a way to get around this errror? This was the error (I used the code as it was today:...

But it works when using the version in master branch, though.

I guess Dale was talking about making it the default behavior. But can favorited entries be configured to be kept forever at the moment though? While allowing others to be...

Not a coq expert, but with regard to `Ctrl-d`, I think it's not mentioned specifically because that's how REPLs (in unix-like systems at aleast) are usually exited from.