index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
contrib
/
funind
/
merge.ml
Age
Commit message (
Expand
)
Author
2009-03-20
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2008-11-09
More factorization of inductive/record and typeclasses: move class
msozeau
2008-11-05
Nouvelle syntaxe pour écrire des records (co)inductifs :
aspiwack
2008-03-18
Added a function to rebuild an elim scheme from elim_scheme_info. Will
courtieu
2008-03-14
Backtrack wrong commit.
courtieu
2008-03-13
trying f
courtieu
2007-12-31
Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...
msozeau
2007-12-06
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-10-30
Cleaning code and comment.
courtieu
2006-11-24
Functional graph merging deals with letins.
courtieu
2006-11-24
Fixed the graph merging parameter order.
courtieu
2006-11-23
Fixing syntax and parameter order in functional graph merging.
courtieu
2006-11-20
Changing merging functional scheme syntax.
courtieu
2006-11-16
Small fix in functional graph merging.
courtieu
2006-10-28
Fixes in experimental merging of functional graphs.
courtieu
2006-10-27
Fixes on functional graphs merging: put functional results at the end
courtieu
2006-10-27
Fixes on functional graphs merging: removed debug printing.
courtieu
2006-10-27
Fixes on functional graphs merging: names of constructors.
courtieu
2006-10-26
Some fixes in experimental merging of two functional graphs.
courtieu
2006-10-26
Experimental merging of two functional graphs.
courtieu
2006-10-20
Starting to add a function schemes merging command (not finished, not
courtieu
