[Gsrc-commit] /srv/bzr/gsrc/trunk r1820: add blurb for aris

[Brandon Invergo]

------------------------------------------------------------
revno: 1820
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Tue 2013-01-29 10:27:47 +0100
message:
  add blurb for aris
modified:
  gnu/aris/Makefile

=== modified file 'gnu/aris/Makefile'
--- a/gnu/aris/Makefile 2012-12-16 22:02:50 +0000
+++ b/gnu/aris/Makefile 2013-01-29 09:27:47 +0000
@@ -3,6 +3,14 @@
 GARVERSION = 2.0
 HOME_URL = http://www.gnu.org/software/aris/
 DESCRIPTION = A logical proof program
+define BLURB
+ Aris is a program for performing logical proofs. It supports 
+ propositional and predicate logic, as well as Boolean algebra and 
+ arithmetical logic. In addition to its predefined inference and
+ equivalence rules, Aris also supports references to older proofs. Its
+ use of standard logical symbols and its natural deduction interface
+ make it easy to use for beginners.
+endef
 
 ######################################################################