Fix issues with "Reset Initial" in scripts given to coqtop -l

 Doing coqtop -l on a file starting with Reset Initial used to fail.
 To avoid that, we now always place an initial DOT in the libstack.

 Backtrack.reset_initial has been adapted accordingly: during an
 interactive session following a Load via coqtop -l (or .coqrc),
 a Reset Initial will bring back at the start of the interactive
 session, *not* undoing the initial Load.

 Note : Reset Initial might hence not be equivalent anymore to BackTo 1.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16449 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions