Skip to content

Rename coq -> rocq#2269

Merged
jneen merged 1 commit intomainfrom
lexer.coq-rename
Apr 17, 2026
Merged

Rename coq -> rocq#2269
jneen merged 1 commit intomainfrom
lexer.coq-rename

Conversation

@jneen
Copy link
Copy Markdown
Member

@jneen jneen commented Apr 8, 2026

@jneen jneen added this pull request to the merge queue Apr 17, 2026
Merged via the queue into main with commit 4a5493b Apr 17, 2026
10 checks passed
@jneen jneen deleted the lexer.coq-rename branch April 17, 2026 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant