Skip to content
Snippets Groups Projects
Select Git revision
  • develop default
  • release protected
  • v0.x
  • v2.2.0
  • v2.1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.012Feb10Jul314May16Apr98Mar5416Dec20Nov28Jun262311Nov1013May6May3Nov31Oct28212018177Sep126Aug24181612108653221Jul2019151425Jun221917141110429May28272625222120191815add WITNESS keyworddevelopdeveloptry to fix highlightingadd highlighting for ON_SUCCESSadd highlighting for template stringsfix some typosadd FREETYPES machine clauseadd missing WHEN keywordBump version number to 2.2.1Bump version number to 2.2.0 because of settings renamev2.2.0 releasev2.2.0 releaseUpdate changelogFix a few more small spelling issuesChange settings prefix to `prob` instead of `languageServer`Fix erroneous escape chars in classical B syntaxadd installation instructions for VSCodiumadd VISB Definition namesminor changes in Readmeadapt linkUpdate changelog for upcoming 2.1.1 releasefix and add some function and relation snippetsadd missing keywords for rules DSLBump version number to 2.1.1Remove pointless brackets in CHANGELOG.md headingsUpdate CHANGELOG.md (perhaps I should have done that before release...)Add automatic publishing of releases from GitLab CIv2.1.0v2.1.0Move jar out of out so that we don't have to worry about creating dirsAdd GitLab CI configDownload jar from GitLab CI instead of building it under node_modulesSwitch to new way of defining file icons (microsoft/vscode#140047)Fix some .vscodeignore entriesRemove SVG icon that just wraps a PNGRemove currently unused ESLint configurationRemove E2E test stuff (none of these paths exist in the repo)Remove npm dependencies for things that are actually built-in Node APIsMove types/vscode to dev dependenciesRemove lots of unused dependenciesMove run-script-os into devDependenciesRemove unused dev dependenciesUpdate b-language-server to fix main class and stdout communicationAdd b-language-server sources and build junk to .vscodeignoreBump version number to 2.1.0