lsrcz / mini-prover / 175

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
175	master	update report	push	17 Jun 2018 08:51AM UTC	Shlw	travis-ci	pending completion
176	master	organize files	push	17 Jun 2018 08:46AM UTC	Shlw	travis-ci	pending completion
174	master	update report	push	17 Jun 2018 08:43AM UTC	Shlw	travis-ci	pending completion
173	master	tactic	push	17 Jun 2018 08:12AM UTC	lsrcz	travis-ci	pending completion
172	master	update report	push	17 Jun 2018 08:09AM UTC	Shlw	travis-ci	pending completion
170	master	recompile the pdf	push	17 Jun 2018 07:56AM UTC	lsrcz	travis-ci	pending completion
169	master	update ignore, upload pdf	push	17 Jun 2018 07:37AM UTC	Shlw	travis-ci	pending completion
168	master	update demo report	push	17 Jun 2018 07:35AM UTC	Shlw	travis-ci	pending completion
167	master	Merge branch 'master' of github.com:lsrcz/mini-prover	push	17 Jun 2018 07:31AM UTC	Shlw	travis-ci	pending completion
166	master	reduction example	push	17 Jun 2018 07:28AM UTC	lsrcz	travis-ci	pending completion
165	master	rewrite	push	17 Jun 2018 07:19AM UTC	lsrcz	travis-ci	pending completion
164	master	update report	push	17 Jun 2018 07:08AM UTC	Shlw	travis-ci	pending completion
163	master	update report	push	17 Jun 2018 05:22AM UTC	Shlw	travis-ci	pending completion
162	master	update report	push	17 Jun 2018 03:11AM UTC	Shlw	travis-ci	pending completion
161	master	Update README.md	push	16 Jun 2018 12:47PM UTC	web-flow	travis-ci	pending completion