Skip to content

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term)

d4c8d5f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) #789

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term)
d4c8d5f
Select commit
Loading
Failed to load commit list.

The logs for this run have expired and are no longer available.