Rose Bohrer

Hi, I recently looked into upgrading Scala versions. Unfortunately, we depend on a number of libraries which have not released their own 2.13 versions. It is unclear when that would...

Updated file and description, my bad! I believe the same applies to issue #99, will check that now too

I built the latest commit (6211d34d87) and reproduced the bug. To clarify: when I click on the second TODO, the mouse cursor will move, but the arrow symbol and green...

I don't think so from last time I checked but it may be after the next release when I get chance to debug again in depth so feel free to...

Vectors and matrices are something we've long wanted to have, but as you've hinted, it's important to get the design right, and we've never yet quite convinced ourselves that we...

When we're not working with the UI, we usually write a Scala test case and write proofs using the Scala embedding of our tactic language bellerophon. The wiki has an...

I was recently reminded that there is another project which tries to generate KeYmaera X models from Simulink models. I have not used this project myself, and it's possible that...

Thanks for the rundown. I'm focusing on content before highlighting but if I ever write my own style files I'll absolutely send them your way On Sat, Jun 10, 2023,...

By line I did mean line, but sentence or paragraph could be understandable as well. The main way I use the end key is: I write some words, I realize...

2 seems elegant! On Sat, Jun 10, 2023, 2:14 PM Amy J. Ko ***@***.***> wrote: > This definitely isn't the expected behavior. Here's a bit of brainstorming > about how...