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

	Commit message (Expand)	Author	Files	Lines
2020-06-01	update	Josh Chen	1	-4/+4
2020-06-01	update	Josh Chen	1	-0/+1
2020-06-01	update	Josh Chen	1	-6/+7
2020-06-01	readme	Josh Chen	1	-7/+14
2020-04-16	Update README.md	Josh Chen	1	-1/+1
2020-04-16	update for Isabelle2020	Josh Chen	1	-3/+3
2020-04-06	Update README.md	Josh Chen	1	-2/+2
2020-04-02	Brand-spanking new version using Spartan infrastructure	Josh Chen	1	-6/+6
2020-01-24	make development shift really obvious	Josh Chen	1	-2/+2
2020-01-24	Update README.md	Josh Chen	1	-1/+1
2020-01-24	Update README.md	Josh Chen	1	-1/+1
2020-01-24	Update README.md	Josh Chen	1	-3/+3
2019-11-29	Change link	Josh Chen	1	-1/+1
2019-10-29	Update README.md	Josh Chen	1	-3/+3
2019-10-29	Update README.md	Josh Chen	1	-1/+2
2019-10-29	Update README.md	Josh Chen	1	-1/+5
2019-10-15	Update README.md	Josh Chen	1	-0/+1
2019-02-23	touchups	Josh Chen	1	-1/+1
2019-02-23	readme	Josh Chen	1	-3/+12
2018-09-20	Update README.md	Josh Chen	1	-1/+1
2018-09-18	Update README.md	Josh Chen	1	-0/+6
2018-09-18	Update README.md	Josh Chen	1	-16/+0
2018-09-17	Update README.md	Josh Chen	1	-3/+1
2018-09-12	Update README.md	Josh Chen	1	-2/+2
2018-09-12	Update README.md	Josh Chen	1	-1/+1
2018-09-12	Add DOI badge	Josh Chen	1	-0/+2
2018-09-11	Update README.md	Josh Chen	1	-3/+7
2018-08-30	Update README.md	Josh Chen	1	-1/+1
2018-08-18	Update license	Josh Chen	1	-1/+1
2018-08-17	Update README.md	Josh Chen	1	-9/+5
2018-08-17	Update README.md	Josh Chen	1	-2/+3
2018-08-17	Update README.md	Josh Chen	1	-1/+6
2018-08-17	Add contact	Josh Chen	1	-1/+1
2018-08-17	Update README.md	Josh Chen	1	-1/+1
2018-08-17	Update README.md	Josh Chen	1	-1/+2
2018-08-17	Create README.md	Josh Chen	1	-0/+16