Versions in this module
v1
Nov 14, 2019
Aug 26, 2019
Jul 17, 2019
Apr 11, 2019
Mar 29, 2019
Jan 9, 2019
Dec 20, 2018
Dec 10, 2018
Oct 10, 2018
Changes in this version
type ContextlessMsg
type DynamicMsg
type NestedMsg
type SimpleMsg
type StaticallyOpaqueMsg
type VariablyOpaqueMsg
Sep 25, 2018
Sep 27, 2018
Jul 3, 2018
Jun 22, 2018
Jul 8, 2018
Mar 15, 2018
Mar 1, 2018
Nov 1, 2017
Jan 26, 2018
Feb 18, 2018
Dec 6, 2017
Oct 31, 2017
Oct 3, 2017
Aug 31, 2017
Aug 7, 2017
Jul 11, 2017
Changes in this version
Jun 23, 2017
Jun 8, 2017
Incompatible versions in this module
Jan 29, 2020
Dec 12, 2019
Apr 9, 2019