index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
pretyping
/
evardefine.ml
Commit message (
Expand
)
Author
Age
*
[api] Deprecate Term destructors, move to Constr
Emilio Jesus Gallego Arias
2017-11-22
*
[api] Move structures deprecated in the API to the core.
Emilio Jesus Gallego Arias
2017-11-06
*
Efficient computation of the names contained in an environment.
Pierre-Marie Pédrot
2017-09-28
*
Efficient fresh name generation relying on sets.
Pierre-Marie Pédrot
2017-09-28
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Remove the Sigma (monotonous state) API.
Maxime Dénès
2017-06-06
*
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
|
\
|
*
Remove unused [open] statements
Gaetan Gilbert
2017-04-27
*
|
[location] Make location optional in Loc.located
Emilio Jesus Gallego Arias
2017-04-25
|
/
*
Actually exporting delayed universes in the EConstr implementation.
Pierre-Marie Pédrot
2017-04-01
*
Namegen primitives now apply on evar constrs.
Pierre-Marie Pédrot
2017-02-14
*
Definining EConstr-based contexts.
Pierre-Marie Pédrot
2017-02-14
*
Evar-normalizing functions now act on EConstrs.
Pierre-Marie Pédrot
2017-02-14
*
Ltac now uses evar-based constrs.
Pierre-Marie Pédrot
2017-02-14
*
Reductionops now return EConstrs.
Pierre-Marie Pédrot
2017-02-14
*
Tactics API using EConstr.
Pierre-Marie Pédrot
2017-02-14
*
Cleaning up opening of the EConstr module in pretyping folder.
Pierre-Marie Pédrot
2017-02-14
*
Pretyping API using EConstr.
Pierre-Marie Pédrot
2017-02-14
*
Evarconv API using EConstr.
Pierre-Marie Pédrot
2017-02-14
*
Evardefine API using EConstr.
Pierre-Marie Pédrot
2017-02-14
*
Reductionops API using EConstr.
Pierre-Marie Pédrot
2017-02-14
*
Merge PR #244.
Pierre-Marie Pédrot
2016-09-08
|
\
*
|
CLEANUP: minor readability improvements
Matej Kosik
2016-08-24
|
*
Unify location handling of error functions.
Emilio Jesus Gallego Arias
2016-08-19
|
/
*
Separate flags for fix/cofix/match reduction and clean reduction function names.
Maxime Dénès
2016-07-01
*
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-05-08
*
Splitting Evarutil in two distinct files.
Pierre-Marie Pédrot
2016-03-20