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

Active branches

master default protected

2b50c3c7 · Shorten ABZ 2021 slides slightly · Jun 08, 2021

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