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).

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
rodin3

80b9b06f · update dependencies · 11 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
rodin2

b4001b57 · update dependencies to fix build · 9 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
master protected

48129a0f · Merge branch 'develop' · 10 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare