guix-commits
[Top][All Lists]
Advanced

[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";)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]