Tue, 03 Sep 2019 14:56:43 +0200 | wenzelm | clarified signature; | changeset | files |
Tue, 03 Sep 2019 11:32:29 +0200 | wenzelm | clarified state variable: avoid extra mutability via Promise; | changeset | files |
Wed, 04 Sep 2019 16:34:45 +0100 | paulson | Removal of the redundant ancestor Continuous_Extension | changeset | files |