aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/funind/indfun_common.ml
Commit message (Expand)AuthorAge
* adding an option Function_raw_tcc to FunctionGravatar jforest2008-10-26
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Désactivation du dumping des notations quand funind appelle lesGravatar herbelin2008-04-12
* Backtrack wrong commit.Gravatar courtieu2008-03-14
* trying fGravatar courtieu2008-03-13
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* Prise en compte des notations "alias" dans la globalisation des coercions.Gravatar herbelin2007-11-08
* r9778@tannat: jforest | 2006-10-13 11:36:37 +0200Gravatar jforest2006-10-13
* Amelioration des messages d'erreur de Fucntion Gravatar jforest2006-08-24
* Bug corrections in Function.Gravatar jforest2006-08-11
* Code cleaning in FunctionGravatar jforest2006-07-18
* +functional inversion now takes the function to invert as an optional argument. Gravatar jforest2006-07-10
* - completely new version of "functional inversion" using inversion onGravatar jforest2006-07-04
* bug correctionGravatar jforest2006-06-29
* + Changing a little functional schemes types Gravatar jforest2006-04-10
* Julien:Gravatar bertot2006-02-17
* very minor bug correction and cleanningGravatar bertot2006-02-09
* Julien:Gravatar bertot2006-02-08
* New version of functional induction / inversion. By Julien Forest,Gravatar coq2006-02-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-22 09:20:34 +0000