Commits · v2.2.0 · 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).

Mar 08, 2024
- Bump version number to 2.2.0 because of settings rename · 375582db
  dgelessus authored 1 year ago
  
  View commits for tag v2.2.0 v2.2.0
  
  375582db
- Update changelog · b5d570e9
  dgelessus authored 1 year ago
  
  b5d570e9
- Fix a few more small spelling issues · eb460112
  dgelessus authored 1 year ago
  
  eb460112
- Change settings prefix to `prob` instead of `languageServer` · 7694620c
  Jannik Dunkelau authored 1 year ago
  
  7694620c
- Fix erroneous escape chars in classical B syntax · 6d94393d
  Jannik Dunkelau authored 1 year ago
  
  6d94393d
Mar 05, 2024
- add installation instructions for VSCodium · 9ac5efb2
  Michael Leuschel authored 1 year ago
  9ac5efb2
Mar 04, 2024
- add VISB Definition names · 599f22b8
  Michael Leuschel authored 1 year ago
  599f22b8
- minor changes in Readme · b97a911c
  Michael Leuschel authored 1 year ago
  b97a911c
- adapt link · c71f408d
  Michael Leuschel authored 1 year ago
  c71f408d
- Update changelog for upcoming 2.1.1 release · f65e0730
  dgelessus authored 1 year ago
  
  f65e0730
Dec 16, 2023
- fix and add some function and relation snippets · 023d9deb
  Jan Gruteser authored 1 year ago
  
  023d9deb
Nov 20, 2023
- add missing keywords for rules DSL · 22a87093
  Jan Gruteser authored 1 year ago
  
  22a87093
Jun 28, 2023
- Bump version number to 2.1.1 · 82898fd3
  dgelessus authored 1 year ago
  
  82898fd3
- Remove pointless brackets in CHANGELOG.md headings · 5019a29c
  dgelessus authored 1 year ago
  
  5019a29c
- Update CHANGELOG.md (perhaps I should have done that before release...) · c69c7d66
  dgelessus authored 1 year ago
  
  c69c7d66
- Add automatic publishing of releases from GitLab CI · 5a81e0f0
  dgelessus authored 1 year ago
  
  View commits for tag v2.1.0 v2.1.0
  
  5a81e0f0
Jun 26, 2023
- Move jar out of out so that we don't have to worry about creating dirs · 1c7fc954
  dgelessus authored 1 year ago
  
  1c7fc954
- Add GitLab CI config · 3d47fabd
  dgelessus authored 1 year ago
  
  3d47fabd
- Download jar from GitLab CI instead of building it under node_modules · 52db4a14
  dgelessus authored 1 year ago
  
  52db4a14
- Switch to new way of defining file icons (microsoft/vscode#140047) · 07129256
  dgelessus authored 1 year ago
  07129256
- Fix some .vscodeignore entries · 8eccc6c5
  dgelessus authored 1 year ago
  
  8eccc6c5
- Remove SVG icon that just wraps a PNG · 32e9a507
  dgelessus authored 1 year ago
  
  32e9a507
- Remove currently unused ESLint configuration · 694e233e
  dgelessus authored 1 year ago
  
  694e233e
- Remove E2E test stuff (none of these paths exist in the repo) · d6f08718
  dgelessus authored 1 year ago
  
  d6f08718
- Remove npm dependencies for things that are actually built-in Node APIs · 5ff8178a
  dgelessus authored 1 year ago
  
  5ff8178a
- Move types/vscode to dev dependencies · 96a71fbc
  dgelessus authored 1 year ago
  
  96a71fbc
- Remove lots of unused dependencies · 2bb75a06
  dgelessus authored 1 year ago
  
  2bb75a06
- Move run-script-os into devDependencies · 3ccaa60f
  dgelessus authored 1 year ago
  
  3ccaa60f
- Remove unused dev dependencies · 5d361df2
  dgelessus authored 1 year ago
  
  5d361df2
- Update b-language-server to fix main class and stdout communication · ddf930bc
  dgelessus authored 1 year ago
  
  ddf930bc
Jun 23, 2023
- Add b-language-server sources and build junk to .vscodeignore · 114bc2fa
  dgelessus authored 1 year ago
  
  114bc2fa
- Bump version number to 2.1.0 · 0fc735c0
  dgelessus authored 1 year ago
  0fc735c0
- Add IntelliJ files to .vscodeignore · 70afc01e
  dgelessus authored 1 year ago
  
  70afc01e
- Add vsce as a dev dependency · b07cb752
  dgelessus authored 1 year ago
  
  b07cb752
- Update dependencies with vulnerabilities · 3db9f21f
  dgelessus authored 1 year ago
  
  3db9f21f
- Relicense to EPL-2.0 for consistency · bd7033d7
  dgelessus authored 1 year ago
  
  bd7033d7
- Update package-lock.json to lockfileVersion 3 · 487342bc
  dgelessus authored 1 year ago
  
  487342bc
Nov 11, 2022
- updated dependencies · 68f7f698
  Sebastian Stock authored 2 years ago
  
  68f7f698
Nov 10, 2022
- updated dependencies · acbc70ee
  Sebastian Stock authored 2 years ago
  
  acbc70ee
May 13, 2022
- add some keywords for syntax highlighting · 0e8c0afb
  Michael Leuschel authored 2 years ago
  0e8c0afb