Skip to content
Snippets Groups Projects
Select Git revision
  • 55f5e5b2f6382c40ca5a9cc8440cc5c6b283946f
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

de.prob.core

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Bugfix in translation: In case of quantified expressions or predicates,
    Daniel Plagge authored 
    a superfluous bound variable name was put on the stack, resulting in wrong
resolving of bound variables.
    55f5e5b2
    History
    user avatar 55f5e5b2
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.