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

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