aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-02-08 14:42:32 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-02-08 14:42:32 +0100
commited0c5d3c585c978d95202269aca8f813e2c9441c (patch)
treeb8feeb43179348b061bee1f84d63690d2ea979ae /gnu
parentcc304fe82197ed5e16be2462edb46248808571a2 (diff)
downloadguix-ed0c5d3c585c978d95202269aca8f813e2c9441c.tar
guix-ed0c5d3c585c978d95202269aca8f813e2c9441c.tar.gz
gnu: mcrl2: Fix typo in synopsis.
* gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo. [description]: Use @dfn.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/maths.scm10
1 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 87a6832de3..3830393706 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3729,12 +3729,12 @@ reduction.")
("mesa" ,mesa)
("qt" ,qt)))
(build-system cmake-build-system)
- (synopsis "toolset for the mCRL2 formal specification language")
+ (synopsis "Toolset for the mCRL2 formal specification language")
(description
- "mCRL2 (micro Common Representation Language 2) is a formal specification
-language for describing concurrent discrete event systems. Its toolset
-supports analysis and automatic verification, linearisation, simulation,
-state-space exploration and generation and tools to optimise and analyse
+ "@dfn{mCRL2} (micro Common Representation Language 2) is a formal
+specification language for describing concurrent discrete event systems. Its
+toolset supports analysis and automatic verification, linearisation, simulation,
+state-space exploration and generation, and tools to optimise and analyse
specifications. Also, state spaces can be manipulated, visualised and
analysed.")
(home-page "http://mcrl2.org")