search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Update redefinition with 0.3.5.1 release #47

Closed mantkiew closed 10 years ago