Google Truth extension for Axiom
Extension for Google Truth to make assertions about Axiom trees.
|
Version |
Repository |
Usages |
Date |
| 1.4.x |
1.4.0
|
central |
|
|
| 1.3.x |
1.3.0
|
central |
|
|
| 1.2.x |
1.2.20
|
central |
|
Oct 16, 2016 |
|
1.2.19
|
central |
|
Apr 25, 2016 |
|
1.2.18
|
central |
|
Feb 20, 2016 |
|
1.2.17
|
central |
|
Dec 29, 2015 |
|
1.2.16
|
central |
|
Nov 19, 2015 |
|
1.2.15
|
central |
|
Jun 10, 2015 |