index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
g_toplevel.ml4
Commit message (
Expand
)
Author
Age
*
[stm] Move VernacBacktrack to the toplevel.
Emilio Jesus Gallego Arias
2018-04-01
*
[vernac] Move `Quit` and `Drop` to the toplevel layer.
Emilio Jesus Gallego Arias
2018-03-11