Skip to content
Snippets Groups Projects
Select Git revision
  • c7e7adb43b64888f6cb2a186011f7d519b8d69c6
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

src

  • Clone with SSH
  • Clone with HTTPS
    • Jan Gruteser's avatar
    simplify and improve position printing
    Jan Gruteser authored 
    - use ClassicalPositionPrinter for print of position informations in TlaTypePrinter
- get rid of PrologPrinter by using RecursiveMachineLoader.printAsProlog with TlaTypePrinter
    c7e7adb4
    History
    Jan Gruteser's avatar c7e7adb4
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..