From b09444fdaee1cf608dd40465d5e400fbd46ef6ad Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 16 Sep 2019 19:19:07 -0400
Subject: Make rapply handle all numbers of underscores

Also add a tactic notation so that it takes in uconstrs by default.

Also add some basic tests for `rapply`.

Also document rapply in the manual
---
 dev/ci/user-overlays/10760-JasonGross-more-rapply.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dev/ci/user-overlays/10760-JasonGross-more-rapply.sh

(limited to 'dev')

diff --git a/dev/ci/user-overlays/10760-JasonGross-more-rapply.sh b/dev/ci/user-overlays/10760-JasonGross-more-rapply.sh
new file mode 100644
index 0000000000..c1cb1f15cd
--- /dev/null
+++ b/dev/ci/user-overlays/10760-JasonGross-more-rapply.sh
@@ -0,0 +1,7 @@
+if [ "$CI_PULL_REQUEST" = "10760" ] || [ "$CI_BRANCH" = "more-rapply" ]; then
+
+    math_classes_CI_BRANCH=fix-for-more-rapply-10760
+    math_classes_CI_REF=fix-for-more-rapply-10760
+    math_classes_CI_GITURL=https://github.com/JasonGross/math-classes
+
+fi
-- 
cgit v1.2.3