Philip Chimento 51d7e99895 Fix case-sensitive filename errors ... These filenames worked fine on case-insensitive file systems, but not on a case-sensitive file system.		2022-04-14 22:41:12 -07:00
..
Chapter 1	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Tests	Fix case-sensitive filename errors	2022-04-14 22:41:12 -07:00
.gitignore	Revised to pave way for ctags files	2021-08-11 12:06:05 +01:00
Contents.w	Further progress towards calculus module	2020-08-21 22:38:20 +01:00