enable mathcomp 2.5.0 (#1751)

Changelog for version 1.13.0 (#1701)

* changelog for version 1.13.0

changelog for version 1.12.0 (#1671)

* changelog for version 1.12.0

Merge pull request #1610 from affeldt-aist/changelog1110

changelog for version 1.11.0

use gauss_integral to complete another example

changelog for version 1.10.0 (#1581)

* changelog for version 1.10.0

changelog for version 1.9.0 (#1490)

* changelog for version 1.9.0

changelog for 1.8.0 (#1439)

* changelog for 1.8.0

---------

Co-authored-by: Reynald Affeldt <reynald.affeldt@aist.go.jp>

rm diagramms from README (#1406)

changelog for version 1.6.0 (#1364)

* changelog for version 1.6.0