Skip to content

Activity

Showing most recent first

[BR] Move coqc/coqdep into rocq-core to enable composed builds

gmalechapushed 1 commit to br-master • af5eb32…6a5d8bc • 
3 days ago

[BR] Cherry-pick coq#20313 (notation error messages)

Force push
gmalechaforce pushed to br-master • 6f54b27…af5eb32 • 
16 days ago

Merge branch 'paolo/no-coqide' into 'br-master'

gmalechapushed 2 commits to br-master • 6b1c9c2…6f54b27 • 
on Jan 21

Merge branch 'paolo/no-coqide' into 'br-master'

gmalechapushed 4 commits to br-master • e91c9d7…6b1c9c2 • 
on Jan 21

Merge branch 'janno/coq-dynlink-2' into 'br-master'

gmalechapushed 8 commits to br-master • 53b61ef…e91c9d7 • 
on Jan 16

Merge branch 'janno/prim-string' into 'br-master'

gmalechapushed 5 commits to br-master • cb11485…53b61ef • 
on Jan 14

[BR] use %{workspace_root} some more.

gmalechacreated br-master • cb11485 • 
on Dec 12, 2024