doc: update information about TPIL directory

chabulhwi · Dec 31, 2024 · 0bb1b13 · 0bb1b13
1 parent d7250be
commit 0bb1b13
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -27,7 +27,9 @@ filters plugin for OmegaT][okapi] to make OmegaT parse Markdown files.
   * [`ko`](./docs/ko): Korean translation of the source documents in the `en`
     directory. It has the same subdirectory structure as `en`.
 
-* [`TPIL`](./TPIL): My solutions to the exercises and questions.
+* [`TPIL`](./TPIL): My solutions to the exercises and questions. This directory
+  also contains Lean files providing examples of the concepts discussed in the
+  text.
   * `ChapterXX`: Chapter XX of the text.
     * `Question*`: Solutions to the question(s) of my quiz.
 

diff --git a/docs/ko/README.md b/docs/ko/README.md
@@ -18,7 +18,7 @@
       * `chapterXX.md`: 교재의 XX장을 학습자가 잘 이해했는지 확인하려고 제가 만든 퀴즈.
   * [`ko`](./docs/ko): `en` 디렉터리에 있는 원문을 한국어로 번역한 문서. 하위 디렉터리 구조는 `en`과 똑같습니다.
 
-* [`TPIL`](./TPIL): 연습 문제와 퀴즈 문항의 제 풀이.
+* [`TPIL`](./TPIL): 연습 문제와 퀴즈 문항의 제 풀이. 교재에서 다룬 개념들의 보기를 드는 린 파일도 여기에 있습니다.
   * `ChapterXX`: 교재 XX장.
     * `Question*`: 제 퀴즈 문항의 풀이.
 

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -2262,6 +2262,16 @@ false.</seg>
         <seg>다음 코드에 오류가 있다.</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>This directory
+also contains Lean files providing examples of the concepts discussed in the
+text.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20241231T152846Z" creationid="chabulhwi" creationdate="20241231T152750Z">
+        <seg>교재에서 다룬 개념들의 보기를 드는 린 파일도 여기에 있습니다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>This is the repository for my solutions to the exercises in &lt;g1&gt;"Theorem Proving in