-
coq-tezos-of-ocaml!947
- Merged
- 9
- Approved
updated -
coq-tezos-of-ocaml!951
- Merged
- 15
updated -
coq-tezos-of-ocaml!950updated
-
coq-tezos-of-ocaml!944
- Merged
-
- 4
- Approved
updated -
coq-tezos-of-ocaml!928
- Merged
-
- 6
- Approved
updated -
coq-tezos-of-ocaml!946
- Merged
- 5
updated -
coq-tezos-of-ocaml!945
- Merged
- 14
- Approved
updated -
- Merged
- 4
- 1
- Approved
updated -
coq-tezos-of-ocaml!941
- Merged
- Approved
updated -
coq-tezos-of-ocaml!942 Update translation November 2022
- Merged
- Approved
updated -
coq-tezos-of-ocaml!940
- Merged
- Approved
updated -
- Merged
- 15
updated -
coq-tezos-of-ocaml!938
- Merged
- Approved
updated -
coq-tezos-of-ocaml!915
- Merged
- 33
- Approved
updated -
coq-tezos-of-ocaml!937updated
-
coq-tezos-of-ocaml!931
- Merged
- 7
- Approved
updated -
coq-tezos-of-ocaml!935 Internal errors (part 2)
- Merged
- 4
updated -
coq-tezos-of-ocaml!930 Internal errors (part 2)
- Merged
- 6
updated -
coq-tezos-of-ocaml!918
- Merged
- 12
- Approved
updated -
coq-tezos-of-ocaml!926 Internal errors (part 2)
- Merged
- 8
updated