Activity · general / stups / B Language Extension · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

3 months ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

4fdf859f · add WITNESS keyword
... and 1 more commit. Compare 4fac276d...4fdf859f

10 months ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

4fac276d · add highlighting for ON_SUCCESS

10 months ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

28879a88 · add highlighting for template strings

1 year ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

f49c08c5 · fix some typos

1 year ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

96eafcda · add FREETYPES machine clause

1 year ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

09314e1b · add missing WHEN keyword

1 year ago

dgelessus @dgelessus

pushed new tag v2.2.0 at general / stups / B Language Extension

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / B Language Extension

785bd80d · Bump version number to 2.2.1

1 year ago

dgelessus @dgelessus

pushed to branch release at general / stups / B Language Extension

375582db · Bump version number to 2.2.0 because of settings rename
... and 14 more commits. Compare 5a81e0f0...375582db

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / B Language Extension

375582db · Bump version number to 2.2.0 because of settings rename
... and 2 more commits. Compare 7694620c...375582db

1 year ago

Jannik Dunkelau @dunkelau

pushed to branch develop at general / stups / B Language Extension

7694620c · Change settings prefix to `prob` instead of `languageServer`

1 year ago

Jannik Dunkelau @dunkelau

pushed to branch develop at general / stups / B Language Extension

6d94393d · Fix erroneous escape chars in classical B syntax

1 year ago

Miles Vella @vella

joined project general / stups / B Language Extension

1 year ago

Michael Leuschel @leuschel

pushed to branch develop at general / stups / B Language Extension

9ac5efb2 · add installation instructions for VSCodium

1 year ago

Michael Leuschel @leuschel

pushed to branch develop at general / stups / B Language Extension

599f22b8 · add VISB Definition names

1 year ago

Michael Leuschel @leuschel

pushed to branch develop at general / stups / B Language Extension

b97a911c · minor changes in Readme

1 year ago

Michael Leuschel @leuschel

pushed to branch develop at general / stups / B Language Extension

c71f408d · adapt link

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / B Language Extension

f65e0730 · Update changelog for upcoming 2.1.1 release

1 year ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

023d9deb · fix and add some function and relation snippets

1 year ago

Jan Gruteser @gruteser

pushed to branch develop at general / stups / B Language Extension

22a87093 · add missing keywords for rules DSL