tag name | mathlib_3.1.2.0 (d8aa7a008cc26eacd8043b42ec9ea5cb08679e5e) |
tag date | 2015-05-22 10:06:59 -0500 |
tagged by | Jianzhong Xu |
tagged object | commit 2b8b7b45cc... |
download | mathlib_3.1.2.0.tar.gz mathlib_3.1.2.0.tar.xz mathlib_3.1.2.0.zip |
---|
Initial version of MATHLIB 3.1.2.