aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/funind/merge.ml
Commit message (Expand)AuthorAge
* More factorization of inductive/record and typeclasses: move classGravatar msozeau2008-11-09
* Nouvelle syntaxe pour écrire des records (co)inductifs :Gravatar aspiwack2008-11-05
* Added a function to rebuild an elim scheme from elim_scheme_info. WillGravatar courtieu2008-03-18
* 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
* Cleaning code and comment.Gravatar courtieu2007-10-30
* Functional graph merging deals with letins.Gravatar courtieu2006-11-24
* Fixed the graph merging parameter order.Gravatar courtieu2006-11-24
* Fixing syntax and parameter order in functional graph merging.Gravatar courtieu2006-11-23
* Changing merging functional scheme syntax.Gravatar courtieu2006-11-20
* Small fix in functional graph merging.Gravatar courtieu2006-11-16
* Fixes in experimental merging of functional graphs.Gravatar courtieu2006-10-28
* Fixes on functional graphs merging: put functional results at the endGravatar courtieu2006-10-27
* Fixes on functional graphs merging: removed debug printing.Gravatar courtieu2006-10-27
* Fixes on functional graphs merging: names of constructors.Gravatar courtieu2006-10-27
* Some fixes in experimental merging of two functional graphs. Gravatar courtieu2006-10-26
* Experimental merging of two functional graphs.Gravatar courtieu2006-10-26
* Starting to add a function schemes merging command (not finished, notGravatar courtieu2006-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-22 11:06:35 +0000