deploy: 99f97ba

lean-ja · Oct 12, 2023 · 87cc015 · 87cc015
1 parent 077685b
commit 87cc015
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/index.html b/index.html
@@ -170,9 +170,6 @@ <h1 class="menu-title">Mathematics in type theory 日本語訳</h1>
                 <div id="content" class="content">
                     <main>
                         <h1 id="mathematics-in-type-thoery-日本語訳"><a class="header" href="#mathematics-in-type-thoery-日本語訳">Mathematics in type thoery 日本語訳</a></h1>
-<blockquote>
-<p>注意⚠️： Mathematics in type theory の日本語訳のメンテは <a href="https://github.com/lean-ja/xena-ja">xena-ja</a> に移管されました．issue や PR はこのリポジトリではなく，<a href="https://github.com/lean-ja/xena-ja">xena-ja</a> にお願いします．</p>
-</blockquote>
 <p>原文は Kevin Buzzard 氏によるブログ記事 <a href="https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/">Mathematics in type theory.</a> です．</p>
 <h2 id="この翻訳について"><a class="header" href="#この翻訳について">この翻訳について</a></h2>
 <p>この翻訳は有志による<strong>非公式</strong>翻訳です．翻訳に際して，表現を大きく変えた箇所があります．

diff --git a/print.html b/print.html
@@ -171,9 +171,6 @@ <h1 class="menu-title">Mathematics in type theory 日本語訳</h1>
                 <div id="content" class="content">
                     <main>
                         <h1 id="mathematics-in-type-thoery-日本語訳"><a class="header" href="#mathematics-in-type-thoery-日本語訳">Mathematics in type thoery 日本語訳</a></h1>
-<blockquote>
-<p>注意⚠️： Mathematics in type theory の日本語訳のメンテは <a href="https://github.com/lean-ja/xena-ja">xena-ja</a> に移管されました．issue や PR はこのリポジトリではなく，<a href="https://github.com/lean-ja/xena-ja">xena-ja</a> にお願いします．</p>
-</blockquote>
 <p>原文は Kevin Buzzard 氏によるブログ記事 <a href="https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/">Mathematics in type theory.</a> です．</p>
 <h2 id="この翻訳について"><a class="header" href="#この翻訳について">この翻訳について</a></h2>
 <p>この翻訳は有志による<strong>非公式</strong>翻訳です．翻訳に際して，表現を大きく変えた箇所があります．