Branches · general / stups / ProB 2 Jupyter Kernel · GitLab

Active branches

master default protected

baa3816e · Update ProB Java API to version 4.12.2-SNAPSHOT · May 15, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

let_variables merged

80690b54 · Add :let and :unlet commands to create and remove local variables · Jul 16, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
exec_auto_adjust_trace

3c030656 · Make :exec/:init/:constants automatically move in trace as needed · Jul 22, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar