Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
dev/
debugger_support.ml
November 2025
coqbot-app[bot]
6ce4a6f1
Copied
Failed
Copy SHA
Merge PR #21281: Pass printing flags functionally in constr
printers
printers
Copy SHA
Browse repository
committed
11mo ago
Gaëtan Gilbert
2ff97ec0
Copied
Failed
Copy SHA
Move Detyping.print_universes to PrintingFlags
Copy SHA
Browse repository
committed
11mo ago
October 2024
coqbot-app[bot]
15e243e6
Copied
Failed
Copy SHA
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now
Rocq.
Rocq.
Copy SHA
Browse repository
committed
2y ago
Pierre-Marie Pédrot
0bdc010c
Copied
Failed
Copy SHA
Update the OCaml headers to reflect the fact Coq is now
Rocq.
Rocq.
Copy SHA
Browse repository
committed
2y ago
April 2024
coqbot-app[bot]
21b39407
Copied
Failed
Copy SHA
Merge PR #18771: Improve handling of
Drop
Drop
Copy SHA
Browse repository
committed
2y ago
Anton Danilkin
5ca8135c
Copied
Failed
Copy SHA
Fix errors and warnings in include files
Copy SHA
Browse repository
committed
2y ago
