Robert Hildebrandt

Suggestion: Support Shortcuts

1

Greate when you found a new useful shortcut and want to not it in the journal Example in Github Markdown: Ctrl + Alt + Space ([source](https://gist.github.com/bittner/f3e2804e06c663510e939ca569ee483e))

This fixes a crash when using custom material with gorilla

Feature Request: Option to start the timer minimized

1

I've configured windows to start the timer with as soon as windows is started. But I couldn't find an option to start the timer minimized. FeatureRequest: - [ ] Add...

Linux arm64 build is actually an x86_64 build

3

I tried executing the newest z3 release on my raspberry pi, but the executable seems to be built for x86_64 ## How to Reproduce the issue ```sh wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-arm64-glibc-2.35.zip unzip...

### What change in documentation do you suggest? In the "Getting started" tutorial, there's a hint: https://github.com/dafny-lang/dafny/blob/1eebb0dc9222ac2d77592d9156599fb7be55e04d/docs/OnlineTutorial/guide.md?plain=1#L1265 Writing down the obvious 3 statement solution was of course trivial. Spoiler ```dfy...