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/
header.ml
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
March 2020
Hugo Herbelin
fb729257
Copied
Failed
Copy SHA
Merge PR #11559: Remove year in
headers.
headers.
Copy SHA
Browse repository
committed
6y ago
Théo Zimmermann
e92ae479
Copied
Failed
Copy SHA
Remove dates in
headers.
headers.
Copy SHA
Browse repository
committed
6y ago
June 2019
Clément Pit-Claudel
d886dff0
Copied
Failed
Copy SHA
Merge PR #10320: Update headers to the new
year.
year.
Copy SHA
Browse repository
committed
7y ago
Théo Zimmermann
42e09b6d
Copied
Failed
Copy SHA
Update ml-style headers to new year.
Copy SHA
Browse repository
committed
7y ago
March 2018
Maxime Dénès
7aaab293
Copied
Failed
Copy SHA
Merge PR #6933: Standard headers for C and Python.
Copy SHA
Browse repository
committed
8y ago
Maxime Dénès
29ed0e83
Copied
Failed
Copy SHA
Standard headers for C and Python.
Copy SHA
Browse repository
committed
8y ago
