Google Truth extension for Axiom
Extension for Google Truth to make assertions about Axiom trees.
|
Verzija |
Repozitorij |
Korištenje |
Datum |
| 1.4.x |
1.4.0
|
central |
|
|
| 1.3.x |
1.3.0
|
central |
|
|
| 1.2.x |
1.2.20
|
central |
|
lis 16, 2016 |
|
1.2.19
|
central |
|
tra 25, 2016 |
|
1.2.18
|
central |
|
velj 20, 2016 |
|
1.2.17
|
central |
|
pro 29, 2015 |
|
1.2.16
|
central |
|
stu 19, 2015 |
|
1.2.15
|
central |
|
lip 10, 2015 |