index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
vernac
/
vernacinterp.mli
Age
Commit message (
Expand
)
Author
2018-07-03
[vernac] use a record for the contents of the “deprecated” attribute
Vincent Laporte
2018-07-03
[vernac] Add a “deprecated” attribute
Vincent Laporte
2018-07-03
[vernac] mk_atts: an atts record with default values
Vincent Laporte
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-12-29
[vernac] adds the “program” flag to the “atts” record
Vincent Laporte
2017-11-27
[vernac] Add polymorphic to the type of vernac interpration options.
Emilio Jesus Gallego Arias
2017-11-27
[vernac] Start to uniformize type of vernac interpretation.
Emilio Jesus Gallego Arias
2017-11-22
[plugin] Encapsulate modifiers to vernac commands.
Emilio Jesus Gallego Arias
2017-11-19
[plugins] Prepare plugin API for functional handling of state.
Emilio Jesus Gallego Arias
2017-11-01
provide "loc : Loc.t" binding within "VERNAC COMMAND EXTEND" rules
Matej Košík
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-02-15
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
