diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
| commit | 7a238e7df0c9c7c684b7f761f495b21aa088bd68 (patch) | |
| tree | 299eb84b8706557655a6ea01d32ab37ec94d2789 /Makefile.am | |
| parent | 51b6399599676a5c1a9c6cb27be88a1381f7af8a (diff) | |
wip10
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Makefile.am b/Makefile.am index 921ba1e..33ca8b7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,20 +1,20 @@ -## Rabbit Prover --- Prove S-expression +## Vikalpa --- Proof Assistant ## Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo> ## -## This file is part of Rabbit Prover. +## This file is part of Vikalpa. ## -## Rabbit Prover is free software; you can redistribute it and/or modify it +## Vikalpa is free software; you can redistribute it and/or modify it ## under the terms of the GNU General Public License as published by ## the Free Software Foundation; either version 3 of the License, or ## (at your option) any later version. ## -## Rabbit Prover is distributed in the hope that it will be useful, but +## Vikalpa is distributed in the hope that it will be useful, but ## WITHOUT ANY WARRANTY; without even the implied warranty of ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ## General Public License for more details. ## ## You should have received a copy of the GNU General Public License -## along with Rabbit Prover. If not, see <http://www.gnu.org/licenses/>. +## along with Vikalpa. If not, see <http://www.gnu.org/licenses/>. GOBJECTS = $(SOURCES:%.scm=%.go) @@ -42,7 +42,7 @@ godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache bin_SCRIPTS = SOURCES = \ - rabbit-prover.scm + vikalpa.scm TESTS = |