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

	Commit message (Collapse)	Author	Files	Lines
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