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

	Commit message (Collapse)	Author	Age	Files	Lines
*	final test push	Josh Chen	2020-07-17	1	-0/+1
\|
*	fix path	Josh Chen	2020-07-17	1	-2/+3
\|
*	test	Josh Chen	2020-07-17	1	-7/+5
\|
*	check home var	Josh Chen	2020-07-17	1	-1/+1
\|
*	change HOME env var, more testing...	Josh Chen	2020-07-17	1	-1/+2
\|
*	more test	Josh Chen	2020-07-17	1	-0/+1
\|
*	more testing	Josh Chen	2020-07-17	1	-10/+5
\|
*	probe directories	Josh Chen	2020-07-16	1	-1/+1
\|
*	test	Josh Chen	2020-07-16	1	-1/+2
\|
*	try try again	Josh Chen	2020-07-16	1	-4/+5
\|
*	try again	Josh Chen	2020-07-16	1	-6/+6
\|
*	I think I figured out the problem	Josh Chen	2020-07-16	1	-2/+1
\|
*	try ADD instead of RUN curl	Josh Chen	2020-07-16	1	-2/+1
\|
*	will this parse now?	Josh Chen	2020-07-16	1	-1/+2
\|
*	fix	Josh Chen	2020-07-16	1	-1/+1
\|
*	download Isabelle from TUM archives	Josh Chen	2020-07-16	1	-2/+3
\|
*	set up CI	Josh Chen	2020-07-16	1	-0/+27