index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
vernac
/
vernacentries.mli
Age
Commit message (
Expand
)
Author
2018-07-12
Statically typecheck the VERNAC EXTEND wrapper.
Pierre-Marie Pédrot
2018-07-12
Export a wrapper simplifying the registration of vernacular commands.
Pierre-Marie Pédrot
2018-07-03
[vernac] Generic syntax for flags/attributes
Vincent Laporte
2018-07-03
[vernac] attribute_of_flags
Vincent Laporte
2018-06-18
Remove reference name type.
Maxime Dénès
2018-06-12
[api] Remove Misctypes.
Emilio Jesus Gallego Arias
2018-03-09
[located] More work towards using CAst.t
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-12-20
Separate vernac controls and regular commands.
Maxime Dénès
2017-11-27
[vernac] Adjust `interp` to pass polymorphic in the attributes.
Emilio Jesus Gallego Arias
2017-11-19
[plugins] Prepare plugin API for functional handling of state.
Emilio Jesus Gallego Arias
2017-10-17
[stm] Remove state-handling from Futures.
Emilio Jesus Gallego Arias
2017-10-17
[stm] Move interpretation state to Vernacentries
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-04-25
[location] Remove Loc.ghost.
Emilio Jesus Gallego Arias
2017-04-12
[vernac] vernacentries.mli cleanup
Emilio Jesus Gallego Arias
2017-02-15
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
