coqide

0Hitze

2Antwort

`Reset` funktioniert nicht in CoqIDE

Weder Reset <sectionname>. noch Reset <globalconstant>. noch Reset Initial. funktioniert in meinen interaktiven CoqIDE-Sitzungen. Die Botschaft ist Error: Use CoqIDE navigation instead Die einzigen

coq coqide 2016-03-26

---