tag name | DEV_TI_MATHLIB_3_1_1_0 (e911ec4e4ccbc12b0e18b9f8735e3a100cc42eff) |
tag date | 2015-06-04 15:40:52 -0500 |
tagged by | Jianzhong Xu |
tagged object | commit 9ddcb43589... |
download | mathlib-DEV_TI_MATHLIB_3_1_1_0.tar.gz mathlib-DEV_TI_MATHLIB_3_1_1_0.tar.xz mathlib-DEV_TI_MATHLIB_3_1_1_0.zip |
---|
Mathlib release 3.1.1.0.