Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

	Commit message (Expand)	Author	Files	Lines
2020-07-17	rename action	Josh Chen	1	-1/+1
2020-07-17	looks like descriptions not allowed in workflow job yaml	Josh Chen	1	-1/+0
2020-07-17	final test push	Josh Chen	2	-0/+2
2020-07-17	fix path	Josh Chen	1	-2/+3
2020-07-17	test	Josh Chen	3	-8/+11
2020-07-17	check home var	Josh Chen	1	-1/+1
2020-07-17	change HOME env var, more testing...	Josh Chen	1	-1/+2
2020-07-17	more test	Josh Chen	1	-0/+1
2020-07-17	more testing	Josh Chen	3	-14/+9
2020-07-16	probe directories	Josh Chen	1	-1/+1
2020-07-16	test	Josh Chen	1	-1/+2
2020-07-16	try try again	Josh Chen	3	-7/+8
2020-07-16	try again	Josh Chen	1	-6/+6
2020-07-16	I think I figured out the problem	Josh Chen	1	-2/+1
2020-07-16	try ADD instead of RUN curl	Josh Chen	1	-2/+1
2020-07-16	will this parse now?	Josh Chen	1	-1/+2
2020-07-16	fix	Josh Chen	1	-1/+1
2020-07-16	download Isabelle from TUM archives	Josh Chen	1	-2/+3
2020-07-16	fix action path	Josh Chen	1	-1/+1
2020-07-16	set up CI	Josh Chen	3	-0/+53