-
Edward Sabinus authoredNow the giving of maxpt when no errors are found applies to singletasks and configured inductioncases instead of only to the whole proof
Edward Sabinus authoredNow the giving of maxpt when no errors are found applies to singletasks and configured inductioncases instead of only to the whole proof
Code owners
Assign users and groups as approvers for specific file changes. Learn more.