Lars König

icon company Karlsruhe Institute of Technology (KIT) icon location Karlsruhe, Germany icon location Doctoral researcher in CS @ KIT, Germany

Results 3 comments of Lars König

Double-backtick quotations with other syntax categories/parsers

This would be very helpful when referencing theorems inside tactic quotations. In the example below, there is no check that `foo` is actually available. ```lean -- inside TacticM evalTactic (←...

Cinny has no icon in the system tray

Same for me on Linux Mint 21.1 with Cinnamon 5.6.8 on X11 using Cinny 3.2.0 (Flatpak).

shared database with postgresql, manual entry in fields truncated

Same problem occurred to me with a shared MySQL database when adding a new entry and changing the title. In my case "Test Entry" was cut short to "Test E",...