/dev/ci/user-overlays/

• ../
• 07819-mattam-ho-matching-occ-sel.sh
• 08764-validsdp-master-parsing-decimal.sh
• 08817-sprop.sh
• 08829-proj-syntax-check.sh
• 08893-herbelin-master+moving-evars-of-term-on-econstr.sh
• 08984-vbgl-rm-hardwired-hint-db.sh
• 09129-ejgallego-proof+no_global_partial.sh
• 09165-ejgallego-recarg-cleanup.sh
• 09173-ejgallego-proofview+proof_info.sh
• 09389-SkySkimmer-set-implicits.sh
• 09439-sep-variance.sh
• 09476-ppedrot-context-constructor.sh
• 09567-ejgallego-hooks_unify.sh
• 09602-gares-more-delta-in-termination-checking.sh
• 09678-printed-by-env.sh
• 09733-gares-quotations.sh
• 09815-token-type.sh
• 09870-vbgl-recordops.sh
• 09895-ejgallego-require+upper.sh
• 09909-maximedenes-pretyping-rm-global.sh
• 09973-gares-elpi-2.1.sh
• 10052-ppedrot-cleanup-logic-convert-hyp.sh
• 10069-ppedrot-whd-for-evar-conv-no-stack.sh
• 10076-vbgl-canonical-disable-hint.sh
• 10125-SkySkimmer-run_tactic_gen.sh
• 10133-SkySkimmer-kelim.sh
• 10135-maximedenes-detype-anonymous.sh
• 10157-SkySkimmer-def-not-visible-generic-warning.sh
• 10177-SkySkimmer-generalize.sh
• 10185-SkySkimmer-instance-no-bang.sh
• 10201-ppedrot-opaque-future-cleanup.sh
• README.md