Skip to content
Snippets Groups Projects
Select Git revision
  • bf8c2839f737c08eba3f424331a48dceb7af8f9e
  • 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

prob_rodin_plugin

  • Clone with SSH
  • Clone with HTTPS
    • Jan Gruteser's avatar
    replace uses of ValueObj by TLCValueNode
    Jan Gruteser authored 
    they contain the same information and some ValueObjs are converted to TLCValueNodes later anyway
    ec566a5f
    History
    Jan Gruteser's avatar ec566a5f
    History
    Name Last commit Last update