Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
feature-elpi-js	Nov 4, 2018
arity-rework	Nov 15, 2018
feature/mutualrec	Feb 14, 2019
feature/unit	Feb 27, 2019
gh-pages	Jun 18, 2019
dependabot/npm_and_yarn/app/yargs-parser-13.1.2	Sep 9, 2020
dependabot/npm_and_yarn/app/ini-1.3.7	Dec 11, 2020
dependabot/npm_and_yarn/app/hosted-git-info-2.8.9	May 10, 2021
dependabot/npm_and_yarn/app/path-parse-1.0.7	Aug 11, 2021
dependabot/npm_and_yarn/app/ajv-6.12.6	Feb 11, 2022
dependabot/npm_and_yarn/app/plist-3.0.4	Mar 1, 2022
dependabot/npm_and_yarn/app/electron-18.3.7	Nov 10, 2022
dependabot/npm_and_yarn/app/qs-6.5.3	Dec 9, 2022

Provide feedback