diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/fig/coqide.png
Binary file doc-isac/fig/coqide.png has changed