Skip to content

Commit d32f3f7

Browse files
joneugsterb-mehta
joneugster
authored and
b-mehta
committed
chore: move test files and recapitalise file names (part 3) (leanprover-community#39682)
Moves most test files about tactics to a folder Tactic and capitalises their names.
1 parent 7c890a4 commit d32f3f7

78 files changed

Lines changed: 1 addition & 1 deletion

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

MathlibTest/toAdditive.lean renamed to MathlibTest/Attribute/ToAdditive/Basic.lean

File renamed without changes.

MathlibTest/toAdditiveIrredDef.lean renamed to MathlibTest/Attribute/ToAdditive/IrredDef.lean

File renamed without changes.

MathlibTest/ToDual.lean renamed to MathlibTest/Attribute/ToDual.lean

File renamed without changes.

MathlibTest/spread.lean renamed to MathlibTest/Spread.lean

File renamed without changes.

MathlibTest/apply_congr.lean renamed to MathlibTest/Tactic/ApplyCongr.lean

File renamed without changes.

MathlibTest/apply_fun.lean renamed to MathlibTest/Tactic/ApplyFun.lean

File renamed without changes.

MathlibTest/apply_rules.lean renamed to MathlibTest/Tactic/ApplyRules.lean

File renamed without changes.

MathlibTest/apply_with.lean renamed to MathlibTest/Tactic/ApplyWith.lean

File renamed without changes.

MathlibTest/Bound/attribute.lean renamed to MathlibTest/Tactic/Bound/Attribute.lean

File renamed without changes.

MathlibTest/Bound/bound.lean renamed to MathlibTest/Tactic/Bound/Basic.lean

File renamed without changes.

0 commit comments

Comments
 (0)