[llvm-branch-commits] [mlir] [mlir][Properties] Shorten "Property" to "Prop" in most places (PR #120368)

[Markus Böck via llvm-branch-commits]

https://github.com/zero9178 commented:

I am personally in favour of this and besides the past, there probably isn't a better time to do this change than now. I also really like that this only deprecates the old names such that downstream users are notified on their next bump and it can then be removed later.

Could we move the documentation changes that are specific to predicates (not renaming) to either the other PR or a new PR/commit? I don't think they should be intermingled here.

https://github.com/llvm/llvm-project/pull/120368