Jacques Garrigue
|
310090b591
|
multimatch patch 2006-02-02
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2006-02-02 06:39:55 +00:00 |
|
Jacques Garrigue
|
9d338a9a43
|
more tests
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-08 08:29:37 +00:00 |
|
Jacques Garrigue
|
3712db9d87
|
additions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-14 09:48:39 +00:00 |
|
Jacques Garrigue
|
38cd3ccbd7
|
switch to unification-base moregeneral
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-01-21 09:06:10 +00:00 |
|
Jacques Garrigue
|
4a7da35256
|
many additions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-12-11 07:28:26 +00:00 |
|
Jacques Garrigue
|
19a586da26
|
add test cases
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-12-10 10:17:48 +00:00 |