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

	Commit message (Collapse)	Author	Age	Files	Lines
*	update Isabelle2020 URL in Dockerfile	Josh Chen	2021-04-10	1	-1/+1
\|
*	rename action	Josh Chen	2020-07-17	1	-1/+1
\|
*	looks like descriptions not allowed in workflow job yaml	Josh Chen	2020-07-17	1	-1/+0
\|
*	final test push	Josh Chen	2020-07-17	2	-0/+2
\|
*	fix path	Josh Chen	2020-07-17	1	-2/+3
\|
*	test	Josh Chen	2020-07-17	3	-8/+11
\|
*	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	3	-14/+9
\|
*	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	3	-7/+8
\|
*	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
\|
*	fix action path	Josh Chen	2020-07-16	1	-1/+1
\|
*	set up CI	Josh Chen	2020-07-16	3	-0/+53