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

	Commit message (Collapse)	Author	Age	Files	Lines
*	caveat	Josh Chen	2020-07-09	1	-0/+2
\|
*	Merge branch 'dev'	Josh Chen	2020-06-15	1	-4/+5
\|\
\| *	some documentation	Josh Chen	2020-06-04	1	-1/+2
\| \|
* \|	update	Josh Chen	2020-06-01	1	-4/+4
\|/
*	update	Josh Chen	2020-06-01	1	-0/+1
\|
*	update	Josh Chen	2020-06-01	1	-6/+7
\|
*	readme	Josh Chen	2020-06-01	1	-7/+14
\|
*	Update README.md	Josh Chen	2020-04-16	1	-1/+1
\|
*	Merge branch 'master' of https://github.com/jaycech3n/Isabelle-HoTT	Josh Chen	2020-04-16	1	-1/+1
\|\
\| *	Update README.md	Josh Chen	2020-04-06	1	-2/+2
\| \|
* \|	update for Isabelle2020	Josh Chen	2020-04-16	1	-3/+3
\|/
*	Brand-spanking new version using Spartan infrastructure	Josh Chen	2020-04-02	1	-6/+6
\|
*	touchups	Josh Chen	2019-02-23	1	-1/+1
\|
*	readme	Josh Chen	2019-02-23	1	-3/+12
\|
*	Update README.md	Josh Chen	2018-09-20	1	-1/+1
\| \| \|	Remove DOI badge
*	Update README.md	Josh Chen	2018-09-18	1	-0/+6
\|
*	Update README.md	Josh Chen	2018-09-18	1	-16/+0
\|
*	Update README.md	Josh Chen	2018-09-17	1	-3/+1
\|
*	Update README.md	Josh Chen	2018-09-12	1	-2/+2
\|
*	Update README.md	Josh Chen	2018-09-12	1	-1/+1
\|
*	Add DOI badge	Josh Chen	2018-09-12	1	-0/+2
\|
*	Update README.md	Josh Chen	2018-09-11	1	-3/+7
\|
*	Update README.md	Josh Chen	2018-08-30	1	-1/+1
\|
*	Update license	Josh Chen	2018-08-18	1	-1/+1
\|
*	Update README.md	Josh Chen	2018-08-17	1	-9/+5
\|
*	Update README.md	Josh Chen	2018-08-17	1	-2/+3
\|
*	Update README.md	Josh Chen	2018-08-17	1	-1/+6
\|
*	Add contact	Josh Chen	2018-08-17	1	-1/+1
\|
*	Update README.md	Josh Chen	2018-08-17	1	-1/+1
\|
*	Update README.md	Josh Chen	2018-08-17	1	-1/+2
\|
*	Create README.md	Josh Chen	2018-08-17	1	-0/+16