aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Notations2.out
Commit message (Expand)AuthorAge
* - Fixing #2090 (occur check missing when trying to solve evar-evar equation).Gravatar herbelin2009-04-25
* Fixing #2044 (bad printing of primitive notation at the head ofGravatar herbelin2009-02-06