sysinit · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /sysinit

7 files

finalchild · Fix repeated Coqargs parsing with ~init · 2mo ago

Fix repeated Coqargs parsing with ~init

Add -package option to [Coqargs].

Merge PR #22259: -package delay resolving until -I have been processed

env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / COQLIB

Merge PR #20714: Some stdlib -> corelib renaming

coqloadpath.mli

Rename Coq -> Rocq in various comments and doc

Fix repeated Coqargs parsing with ~init