kl-i ad80da33e6 Updated many things.		2021-08-16 20:07:25 +01:00
..
2.6.2/agda	Edits to windows installation guide	2021-08-11 17:16:07 +01:00
2.6.3/agda	Updated many things.	2021-08-16 20:07:25 +01:00