Branches · general / stups / ProB Rodin Plugin · 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).

Active branches

develop default protected

2b3184da · Fix indents · 2 months ago
Download source code

zip
tar.gz
tar.bz2
tar

Download artifacts

build

Stale branches

feature/csp

db2ef794 · merged · 13 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
feature/newcore

0963f278 · work on newcore, most likely trash · 12 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
csp

c2e3162c · removed unnecessary file. · 12 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
feature/multiview

27fe06e4 · Merge branch 'develop' into feature/multiview · 12 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
feature/theory_plugin

ce1a74f1 · Added handling for missing theory plugin · 12 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches