From a25aa473cf77c71e59d247c2bad91d344576af3a Mon Sep 17 00:00:00 2001
From: aconite-ac <aconitefield@gmail.com>
Date: Sun, 10 Sep 2023 23:34:33 +0900
Subject: [PATCH] =?UTF-8?q?=E3=83=89=E3=82=AD=E3=83=A5=E3=83=A1=E3=83=B3?=
 =?UTF-8?q?=E3=83=88=E3=81=AE=E3=82=BF=E3=82=A4=E3=83=88=E3=83=AB=E3=81=AE?=
 =?UTF-8?q?=E8=A1=A8=E8=A8=98=E6=8F=BA=E3=82=8C=E3=82=92=E4=BF=AE=E6=AD=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 book.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book.toml b/book.toml
index 2fb73a7..bc91183 100644
--- a/book.toml
+++ b/book.toml
@@ -3,7 +3,7 @@ authors = ["Seasawher"]
 language = "ja"
 multilingual = false
 src = "src"
-title = "Mathematics in type theory 日本語版"
+title = "Mathematics in type theory 日本語訳"
 
 [output.html]
 git-repository-url = "https://github.com/lean-ja/math-in-type-theory-ja"