index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
setoid_ring
/
newring.ml
Age
Commit message (
Expand
)
Author
2016-08-19
Make the user_err header an optional parameter.
Emilio Jesus Gallego Arias
2016-08-19
Remove errorlabstrm in favor of user_err
Emilio Jesus Gallego Arias
2016-07-03
closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)
Pierre Letouzey
2016-07-03
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-07-01
Separate flags for fix/cofix/match reduction and clean reduction function names.
Maxime Dénès
2016-06-24
Removing tactic compatibility layers in setoid_ring.
Pierre-Marie Pédrot
2016-06-14
Merge remote-tracking branch 'github/evarunsafe' into trunk
Matthieu Sozeau
2016-06-09
newring: fix for hack using evars as integers.
Matthieu Sozeau
2016-06-08
Compilation via pack for plugins of the stdlib
Pierre Letouzey
2016-05-31
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-08
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-03-06
Removing useless grammar.cma dependencies.
Pierre-Marie Pédrot
2016-02-22
The tactic generic argument now returns a value rather than a glob_expr.
Pierre-Marie Pédrot
2016-02-15
Moving conversion functions to the new tactic API.
Pierre-Marie Pédrot
2016-02-15
Renaming functions in Typing to stick to the standard e_* scheme.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-30
External tactics and notations now accept any tactic argument.
Pierre-Marie Pédrot
2015-12-21
Using dynamic values in tactic evaluation.
Pierre-Marie Pédrot
2015-12-04
Getting rid of dynamic hacks in Setoid_newring.
Pierre-Marie Pédrot
2015-12-03
Removing the last use of tacticIn in setoid_ring.
Pierre-Marie Pédrot
2015-10-29
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-20
Proofview.Goal.sigma returns an indexed evarmap.
Pierre-Marie Pédrot
2015-10-20
Boxing the Goal.enter primitive into a record type.
Pierre-Marie Pédrot
2015-10-02
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-05-15
Merge v8.5 into trunk
Hugo Herbelin
2015-01-25
Adding a proper interface to Newring.
Pierre-Marie Pédrot
[prev]
