aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
ModeNameSize
-rw-r--r--10390-SkySkimmer-uip.sh877logplain
-rw-r--r--11566-ejgallego-exninfo+coercion.sh177logplain
-rw-r--r--11922-ppedrot-rm-local-reductionops.sh301logplain
-rw-r--r--11948-proux01-hexadecimal.sh352logplain
-rw-r--r--12267-gares-elpi-1.11.sh160logplain
-rw-r--r--12372-ejgallego-proof+info.sh728logplain
-rw-r--r--12505-ppedrot-factor-hint-flags.sh192logplain
-rw-r--r--12523-term-notation-custom.sh181logplain
-rw-r--r--12599-ppedrot-rm-deprecated-refiner.sh201logplain
-rw-r--r--8808-herbelin-master+support-binder+term-in-abbrev.sh236logplain
-rw-r--r--8855-herbelin-master+more-search-options.sh339logplain
-rw-r--r--README.md1846logplain