| Commit | Date | |
|---|---|---|
| 2011-10-28 14:42:36 | Tree | |
| 2011-10-22 15:18:18 | Tree | |
| 2011-10-22 14:47:10 | Tree | |
|
[r1176]
by
hemmecke
fix Matrix problem in jet.spad Previously the compilation of libaxiom.al failed, because table : List % -> Matrix % Matrix, however, requires its argument to be a ring whereas % is |
2011-10-18 19:10:25 | Tree |
|
[r1175]
by
hemmecke
fix "not" precedence in ax.boot Previously, the compilation of libaxiom.al would fail when |
2011-10-18 19:10:03 | Tree |
| 2011-10-18 18:36:31 | Tree | |
| 2011-10-18 18:09:29 | Tree | |
| 2011-10-18 18:04:59 | Tree | |
| 2011-10-18 18:02:02 | Tree | |
| 2011-10-11 16:03:35 | Tree |