fstar-mode.el icon indicating copy to clipboard operation
fstar-mode.el copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

elaborate trace mode

Open briangmilnes opened this issue 1 year ago • 2 comments

I can't see how to use trace mode from the tiny bit of documentation. Nice unicorn though.

briangmilnes avatar Mar 23 '23 17:03 briangmilnes

What did you try?

cpitclaudel avatar Mar 24 '23 07:03 cpitclaudel

Clement,

Well I found the trace flags and turned it on but had no idea what to try. And page up and down did page up and down.

The user needs a bit more here.

What should I do?

Thanks, Brian

On Fri, Mar 24, 2023 at 12:03 AM Clément Pit-Claudel < @.***> wrote:

What did you try?

— Reply to this email directly, view it on GitHub https://github.com/FStarLang/fstar-mode.el/issues/134#issuecomment-1482345756, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACKMDKYZFU2NTFDFHJ7M3YDW5VBN3ANCNFSM6AAAAAAWFQTKXY . You are receiving this because you authored the thread.Message ID: @.***>

briangmilnes avatar Mar 24 '23 12:03 briangmilnes