source:
@
4174
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
trunk | | 3740 | 9 years | ||
tags | 11 | 16 years | Tagged first release rel-1.0 | ||
branches | 4174 | 8 years | Summary: Made Buchberger criteria generic |
Note:
See TracBrowser
for help on using the repository browser.