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
plugins/syntax/
number_string.mli
July 2025
coqbot-app[bot]
4015c7e4
Copied
Failed
Copy SHA
Merge PR #20926: Split some primitive notation code from
notation.ml
notation.ml
Copy SHA
Browse repository
committed
1y ago
Gaëtan Gilbert
594e5280
Copied
Failed
Copy SHA
Split some primitive notation code from
notation.ml
notation.ml
Copy SHA
Browse repository
committed
1y 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
June 2024
coqbot-app[bot]
ef996889
Copied
Failed
Copy SHA
Merge PR #18973: Add primitive string
type.
type.
Copy SHA
Browse repository
committed
2y ago
Rodolphe Lepigre
b2fab494
Copied
Failed
Copy SHA
Combine string and numbers in [plugin/syntax].
Copy SHA
Browse repository
committed
2y ago
