~yrke/verifypn/github-automation

Viewing all changes in revision 240.

  • Committer: srba.jiri at gmail
  • Date: 2021-06-06 19:34:37 UTC
  • mfrom: (239.1.1 answer-for-gui)
  • Revision ID: srba.jiri@gmail.com-20210606193437-ukm797qo2e8z51u0
merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: