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
2019-03-27
[vernac] [stm] Tweak `with_fail` and hopefully fix the semantics.
Emilio Jesus Gallego Arias
2019-03-27
[vernac] Adapt to removal of imperative proof state.
Emilio Jesus Gallego Arias
2019-03-01
Move test_mode from Flags to Vernacentries (use point)
Gaëtan Gilbert
2019-01-24
[STM] explicit handling of parsing states
Enrico Tassi
2018-11-13
[vernac] Rename Vernacinterp to Vernacextend and move extension functions there.
Emilio Jesus Gallego Arias
2018-11-02
Universe Polymorphism is a normal attribute modulo the stm (no Flags)
Gaëtan Gilbert
2018-11-02
Command driven attributes.
Gaëtan Gilbert
2018-11-02
{Vernacentries -> Attributes}.attributes_of_flags
Gaëtan Gilbert
2018-11-02
Move attributes out of vernacinterp to new attributes module
Gaëtan Gilbert
2018-10-15
Providing a centralized API for ARGUMENT EXTEND.
Pierre-Marie Pédrot
2018-10-02
Pass unnamed arguments to ML macros.
Pierre-Marie Pédrot
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
