Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Some fixes of the test-suite scripts | 2011-02-21 | |
* | Fix NumbersSyntax.out | 2010-02-13 | |
* | minor change in test-suite/output/NumberSyntax.out: a BigN.t_ instead of BigN.t | 2010-01-29 | |
* | BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504) | 2009-11-12 | |
* | Repair interpretation of numeral for BigQ, add a printer (close #2160) | 2009-11-12 |