svn: r15275
This commit is contained in:
parent
bf11194ee7
commit
1e9a606bb7
|
@ -2,6 +2,10 @@ v4.2.1
|
|||
|
||||
* added 'define-relation'
|
||||
|
||||
* relaxed the restrictions on metafunctions so that multiple
|
||||
pattern matches are allowed, as long as the right-hand side
|
||||
has the same value for each different pattern binding
|
||||
|
||||
v4.2
|
||||
|
||||
* minor bug fixes
|
||||
|
|
Loading…
Reference in New Issue
Block a user