4 Commits

Author	SHA1	Message	Date
Manlio Perillo	c7697a4282	Ensure the patches are up-to-date and consistent ... Add the update-patches.py tool. Update all the patches, so that the files are up-to-date and use the same patch file format.	2023-04-18 18:16:19 +02:00
Chris Boesch	171e2b693c	fixed patches	2023-01-21 17:03:40 +01:00
Dave Gauer	4eaef5fae4	Ex 065: improve hints, fix type printing change. For #120 and #128	2022-08-29 18:30:38 -04:00
Dave Gauer	9fbda0c502	add ex065 builtins2	2021-04-11 11:19:58 -04:00