[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/03: gnu: mcrl2: Fix typo in synopsis.
From: |
Tobias Geerinckx-Rice |
Subject: |
03/03: gnu: mcrl2: Fix typo in synopsis. |
Date: |
Thu, 8 Feb 2018 08:43:11 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit ed0c5d3c585c978d95202269aca8f813e2c9441c
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Thu Feb 8 14:42:32 2018 +0100
gnu: mcrl2: Fix typo in synopsis.
* gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo.
[description]: Use @dfn.
---
gnu/packages/maths.scm | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 87a6832..3830393 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")