From 083d0890f50c7bff87419b88465af6589faffa2e Mon Sep 17 00:00:00 2001 From: Bjørn Forsman Date: Sun, 6 Oct 2013 11:49:53 +0200 Subject: More description fixes * Remove package name * Start with upper case letter * Remove trailing period Also reword some descriptions and move some long descriptions to longDescription. I'm not touching generated packages. --- pkgs/applications/science/logic/hol_light/default.nix | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'pkgs/applications/science/logic/hol_light') diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index f9549241a45..d6c1c0c1878 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -26,15 +26,15 @@ stdenv.mkDerivation { ''; meta = { - description = "An interactive theorem prover based on Higher-Order Logic."; + description = "Interactive theorem prover based on Higher-Order Logic"; longDescription = '' -HOL Light is a computer program to help users prove interesting mathematical -theorems completely formally in Higher-Order Logic. It sets a very exacting -standard of correctness, but provides a number of automated tools and -pre-proved mathematical theorems (e.g., about arithmetic, basic set theory and -real analysis) to save the user work. It is also fully programmable, so users -can extend it with new theorems and inference rules without compromising its -soundness. + HOL Light is a computer program to help users prove interesting + mathematical theorems completely formally in Higher-Order Logic. It sets + a very exacting standard of correctness, but provides a number of + automated tools and pre-proved mathematical theorems (e.g., about + arithmetic, basic set theory and real analysis) to save the user work. + It is also fully programmable, so users can extend it with new theorems + and inference rules without compromising its soundness. ''; homepage = http://www.cl.cam.ac.uk/~jrh13/hol-light/; license = stdenv.lib.licenses.bsd2; -- cgit 1.4.1