Default Branch

master

b8313da5a8 · Add language support for Quint (#11898) · Updated 14 hours ago

Branches

gui

86b1d970c2 · fix build · Updated 3 years ago

3332
34
termwiz

7a51085e8a · Port to termwiz: compiles but no rendering yet · Updated 3 years ago

3542
1
set-title

a1228e0aa1 · Set terminal title to currently focused file · Updated 3 years ago

4475
2
search

bddf749fba · search: disable unicode support · Updated 3 years ago

4799
5