Add secondary text for which files will be overwritten when forcing creation of proof files #90

New issue

Open

opened 2026-10-29 13:12:58 +01:00 by michael · 0 comments

michael commented

2026-10-29 13:12:58 +01:00

Owner

UX: Add as secondary text "Overwrites file1.v, file2.v & 5 other files" (probably requires us to use VsCode class instead of string). You can create a separate issue for this.

Originally posted by @marfavi in #80 (comment)

UX: Add as secondary text "Overwrites file1.v, file2.v & 5 other files" (probably requires us to use VsCode class instead of string). You can create a separate issue for this. _Originally posted by @marfavi in https://git.marfavi.com/code2rocq/crocq/pulls/80#issuecomment-1509_