nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: mcrl2: Fix typo in synopsis. 

* gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo.
[description]: Use @dfn.
This commit is contained in:
Tobias Geerinckx-Rice 2018-02-08 14:42:32 +01:00
parent cc304fe821
commit ed0c5d3c58
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gnu/packages/maths.scm
View File

@ -3729,12 +3729,12 @@ reduction.")
("mesa" ,mesa) ("mesa" ,mesa)
("qt" ,qt))) ("qt" ,qt)))
(build-system cmake-build-system) (build-system cmake-build-system)
(synopsis "toolset for the mCRL2 formal specification language") (synopsis "Toolset for the mCRL2 formal specification language")
(description (description
"mCRL2 (micro Common Representation Language 2) is a formal specification "@dfn{mCRL2} (micro Common Representation Language 2) is a formal
language for describing concurrent discrete event systems. Its toolset specification language for describing concurrent discrete event systems. Its
supports analysis and automatic verification, linearisation, simulation, toolset supports analysis and automatic verification, linearisation, simulation,
state-space exploration and generation and tools to optimise and analyse state-space exploration and generation, and tools to optimise and analyse
specifications. Also, state spaces can be manipulated, visualised and specifications. Also, state spaces can be manipulated, visualised and
analysed.") analysed.")
(home-page "http://mcrl2.org") (home-page "http://mcrl2.org")