1038148985

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1038148985	doc	Merge fa60f56f6 into 4dd2d533d	Pull #54	16 Jul 2021 04:45PM UTC	GitHub	github	83.41
1030730650	master	Bump to v0.10.1	push	14 Jul 2021 03:22PM UTC	Masashi Mizuno	github	83.41
1030665201	master	Revise the formal introduction (#53)	push	14 Jul 2021 03:02PM UTC	GitHub	github	83.41
1030630996	intro	Merge 87eb1c424 into 3b26784b9	Pull #53	14 Jul 2021 02:50PM UTC	GitHub	github	83.41
1029773898	intro	Merge 29d24a03a into 3b26784b9	Pull #53	14 Jul 2021 09:55AM UTC	GitHub	github	83.41
1028520897	intro	Merge 094456518 into 3b26784b9	Pull #53	14 Jul 2021 12:44AM UTC	GitHub	github	83.41
1026278588	intro	Merge 20a573c90 into 3b26784b9	Pull #53	13 Jul 2021 11:17AM UTC	GitHub	github	83.41
1023171269	intro	Merge 3e1aba424 into 3b26784b9	Pull #53	12 Jul 2021 02:40PM UTC	GitHub	github	83.41
1020045204	master	Tweak KaTeX font size	push	11 Jul 2021 12:41PM UTC	Masashi Mizuno	github	83.41
1019983520	master	Fix KaTeX characters not aligning properly	push	11 Jul 2021 12:05PM UTC	Masashi Mizuno	github	83.41
1019776567	master	Use KaTeX	push	11 Jul 2021 09:40AM UTC	Masashi Mizuno	github	83.41
1007881518	exp	Merge 7f49f6c02 into b398df060	Pull #52	07 Jul 2021 11:56AM UTC	GitHub	github	83.41
1007505023	exp	Merge 39e0125ba into b398df060	Pull #52	07 Jul 2021 09:35AM UTC	GitHub	github	83.41
1005009105	exp	Merge 839caa392 into b398df060	Pull #52	06 Jul 2021 04:01PM UTC	GitHub	github	83.41
998408899	exp	Merge 889d7d5c7 into b398df060	Pull #52	04 Jul 2021 01:04PM UTC	GitHub	github	83.41