Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
CoPaR
Repository
c3bfe6f3bbab01baba0d7d17e4a6914a88672a4d
Switch branch/tag
copar
src
prism-converter
Main.hs
Find file
Blame
History
Permalink
Add mcrl2 as output format to main
· 1b10d875
Hans-Peter Deifel
authored
Jun 14, 2019
1b10d875
Hans-Peter Deifel authored1b10d875