changelog
merge default
- Tue, 20 Feb 2024 12:34:17 -0500
- by Tuomo Valkonen <tuomov@iki.fi> [Tue, 20 Feb 2024 12:34:17 -0500] rev 38
- merge default
merge from default
- Fri, 13 Oct 2023 14:14:26 -0500
- by Tuomo Valkonen <tuomov@iki.fi> [Fri, 13 Oct 2023 14:14:26 -0500] rev 37
- merge from default
Add DifferentiableRealMapping shorthand
- Wed, 04 Oct 2023 09:03:47 -0500
- by Tuomo Valkonen <tuomov@iki.fi> [Wed, 04 Oct 2023 09:03:47 -0500] rev 36
- Add DifferentiableRealMapping shorthand
