aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Reverted 13293 commited mistakenly. Sorry for the noise.Gravatar herbelin2010-07-18
* Tentative de suppression de l'import automatique des hints et coercions.Gravatar herbelin2010-07-18
* fixed bug #2316 (ring_simplify)Gravatar barras2010-07-16
* Added support for Ltac-matching terms with variables bound in the patternGravatar herbelin2010-06-06
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22
* Improvements in generalized rewriting:Gravatar msozeau2010-03-05
* bug in field_simplify_eq inGravatar barras2010-02-10
* Euclidean division for NArithGravatar letouzey2010-02-10
* New command Declare Reduction <id> := <conv_expr>.Gravatar letouzey2010-01-28
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Remove useless Liboject.export_function fieldGravatar glondu2009-09-17
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Generalized the possibility to refer to a global name by a notationGravatar herbelin2009-09-11
* Stop unnecessary use of lazy values for constraints, simplifyingGravatar msozeau2009-09-02
* Death of "survive_module" and "survive_section" (the first one wasGravatar herbelin2009-08-13
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* nouvelle version de la tactique groebner proposee par Loic:Gravatar barras2009-04-16
* Move setoid_rewrite to its own module and do some clean up inGravatar msozeau2009-04-07
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20