source:
@
15053
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
branches | 15045 | 7 years | bwerth | #2592 improvements/changes as requested in review comment | |
misc | 14794 | 8 years | gkronber | #2757 updated readme | |
stable | | 15039 | 7 years | pfleck | #2694: merged r14369 from trunk to stable |
tags | 14214 | 8 years | swagner | #2526: Created HL 3.3.14 release tag | |
trunk | | 15053 | 7 years | gkronber | #2650 fixed a bug in the simplifier when simplifiying a sum of factors … |
|
Note: See TracBrowser
for help on using the repository browser.