mathlib3
chore(tactics): splitting tactics and tests into more files
#985
Merged
Overview
Commits
10
Changes
View On GitHub

chore(tactics): splitting tactics and tests into more files #985

mergify merged 10 commits into master from split-test-tactics
kim-em
kim-em chore(tactics): splitting tactics and tests into more files, cleaning…
610d3a7f
kim-em tweaking comment
5a7cf377
kim-em kim-em requested a review 6 years ago
cipher1024
sgouezel
cipher1024
sgouezel
jcommelin
digama0
digama0 commented on 2019-05-06
digama0
kim-em
kim-em introducing `tactic.basic` and fixing imports
be5f1863
kim-em
kim-em Merge branch 'master' into split-test-tactics
eb5e5fc3
digama0
digama0 commented on 2019-05-06
digama0
digama0 commented on 2019-05-06
kim-em fixes
e16c65ca
cipher1024
cipher1024 commented on 2019-05-07
cipher1024
cipher1024 commented on 2019-05-07
digama0
digama0 dismissed these changes on 2019-05-08
jcommelin jcommelin added ready-to-merge
jcommelin Merge branch 'master' into split-test-tactics
17432b3d
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
kim-em fix copyright
9d152f4e
kim-em Merge branch 'split-test-tactics' of github.com:leanprover-community/…
4d52bbe2
khoek
khoek fix some things
188428b9
khoek
jcommelin
jcommelin dismissed these changes on 2019-05-08
jcommelin Merge branch 'master' into split-test-tactics
8d57c358
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
jcommelin
jcommelin approved these changes on 2019-05-08
mergify mergify merged c9cfafc9 into master 6 years ago
mergify mergify deleted the split-test-tactics branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum