MSoegtropIMC
MSoegtropIMC
I just wanted to note that this bug is still there in Avogradro 1.2.0. It can be reproduced as follows: - File/Import/Crystal/C-graphite - Build/Super Cell Builer ... - Enter multiplicity...
IMHO one major issue with USBPcap is that the uninstaller doesn't properly uninstall it. The following critical items remain after an uninstall of USBPCap (using Windows remove programs): - File:...
Dear Andre, it works for all other packages which need a stublib I used so far (not that many). My stublib folder has this contents (after manually copying the stdint...
P.S.: Another source of errors might be the file extension. On Windows shared libraries tend to have the extension .dll, but on Cygwin it is .so. Maybe there is a...
> I can do that, sure. Can you be more explicit about what I should do in the _CoqProject file ? If you compile locally, you need to tell coqc...
@Blaisorblade: as far as I know the number of threads is proof workers * tactic workers. Since use of the `par:` goal selector is rare, I guess most people won't...
@gares: let's continue the discussion on Zulip - it is getting off topic.
Well but it is fixed in CoqIDE in 8.15.
Yes, your analysis sounds reasonable, I will create a ticket at VST.
No. It is neither "interpret to end" nor "synchronous interpret to end". There is a missing piece which lifts an asynchronous interpret to end to a synchronous interpret to end....