Skip to content

proof-shell: Don't ask about killing the proof assistant on exit #745

proof-shell: Don't ask about killing the proof assistant on exit

proof-shell: Don't ask about killing the proof assistant on exit #745

Annotations

2 warnings

test-indent (29.2)

succeeded Oct 2, 2024 in 1m 29s