'Fork' is atomic

Update proof mode docs w.r.t. new syntax.

Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

Frame-preserving updates for finite parital functions.

make ProofGeneral work again

coq-ho: update README, remove commented-out robust safety (in prepara…

…tion for HOPE)

coq readme.

update README