| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00664-herbelin-master+change-for-coq-pr664-compatibility.sh | 240 | logplain |
| -rw-r--r-- | 00669-maximedenes-ssr-merge.sh | 189 | logplain |
| -rw-r--r-- | 06454-ejgallego-evar+strict_to_constr.sh | 301 | logplain |
| -rw-r--r-- | 06859-ejgallego-stm+top.sh | 266 | logplain |
| -rw-r--r-- | 06960-ejgallego-ltac+tacdepr.sh | 392 | logplain |
| -rw-r--r-- | 07099-ppedrot-unification-returns-option.sh | 211 | logplain |
| -rw-r--r-- | 07136-evar-map-econstr.sh | 282 | logplain |
| -rw-r--r-- | 07152-ejgallego-api+vernac_expr_iso.sh | 406 | logplain |
| -rw-r--r-- | 07196-ejgallego-tactics+push_fix_naming_out.sh | 616 | logplain |
| -rw-r--r-- | 07213-ppedrot-fast-constr-match-no-context.sh | 201 | logplain |
| -rw-r--r-- | 07495-gares-elpi-test-bug.sh | 289 | logplain |
| -rw-r--r-- | 07558-ejgallego-vernac+move_parser.sh | 429 | logplain |
| -rw-r--r-- | 07677-ejgallego-misctypes+bye2.sh | 228 | logplain |
| -rw-r--r-- | 07797-rm-reference.sh | 661 | logplain |
| -rw-r--r-- | README.md | 1266 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |