sudgy

I have the same issue as well after updating to Coq 8.16. While the original context was complicated, I managed to simplify it down to this (which is actually very...

@ctrueden, when do you think this feature will be released? You said that you were thinking of doing it last December, but it's been a while since then.

Yeah, I'm honestly not really any good with GUIs, I just got the bare minimum done for my purposes. If anybody wants to make a more modern implementation of DPDialog,...

The MB Mixer defaults to using input separation. My initial process was simply "Make the MB Mixer, stick the circuit in the controller since I don't need an input bus"....

I just encountered this bug on a new multi (the 2.7 laser engraver). I was making one dedicated to ozone production, and since I only needed a single lens, I...