index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tactics
/
ind_tables.mli
Age
Commit message (
Expand
)
Author
2020-04-29
Merge the call to tclEFFECTS into find_scheme.
Pierre-Marie Pédrot
2020-04-28
Return an option in lookup_scheme.
Pierre-Marie Pédrot
2020-04-28
Stop relying on side-effects for recursive scheme declaration.
Pierre-Marie Pédrot
2020-04-21
[declare] [tactics] Move declare to `vernac`
Emilio Jesus Gallego Arias
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-12-10
Side-effect free wrapper around already declared schemes.
Pierre-Marie Pédrot
2019-12-10
Make explicit that users should not observe return values of scheme functions.
Pierre-Marie Pédrot
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-10-30
[declare] Remove declare_scheme hook in Declare
Emilio Jesus Gallego Arias
2019-06-25
Move the internal_flag type from Declare to Ind_tables.
Pierre-Marie Pédrot
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-06-11
Remove the side-effect role from the kernel.
Pierre-Marie Pédrot
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-11-06
[api] Move structures deprecated in the API to the core.
Emilio Jesus Gallego Arias
2017-11-06
[api] Deprecate all legacy uses of Names in core.
Emilio Jesus Gallego Arias
2017-07-27
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-19
[general] Move files to directories matching linking order.
Emilio Jesus Gallego Arias
