Complying with reference manual for the syntax of exists/eexists, i.e.
removing the strange kind of syntax "exists ,t,". which was equivalent to
"split; exists t; split", as in e.g.:

Goal (exists x, x=0) /\ (exists x, x=0).
exists ,0,.
Qed.

This answers bug request #3340.