From 019956fcc05c4da494f144758fe89e6679b2b5e9 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 30 Mar 2021 00:29:24 +0900
Subject: Change synopsis and description.

* Makefile.am,
guix.scm,
pre-inst-env.in
README.md: Change synopsis and description.
---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index a058ffe..d5e82a0 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,4 @@
 # Guile-ACL2
 
-Guile-ACL2 is a compiler from ACL2 to Guile.
+An implementation of Guile's ACL2 (A Computational Logic for Applicative Common
+Lisp) compiler.
-- 
cgit v1.2.3