History

Last updated: 2019-07-22 16:53:14

Release 3

Release time: May 16, 2019 16:14:48

This release contains:

Improvements on existing documentation.

Modified APIs:

New data structures:

Modified data structures:

Release 2

Release time: April 12, 2019 12:08:42

This release contains:

Improvements on existing documentation.

New APIs:

New data structures:

Release 1

Release time: March 28, 2019 20:22:49

This release contains:

Improvements on existing documentation.

New APIs:

New data structures: