From b413998f6b496d6f8de39e1488ede8fbb610d3b0 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Sat, 13 May 2023 07:00:50 -0600 Subject: [PATCH] Rename Avigad chapters to consistent format. --- Bookshelf/Avigad.lean | 12 ++++++------ Bookshelf/Avigad/{Chapter2.lean => Chapter_2.lean} | 0 Bookshelf/Avigad/{Chapter3.lean => Chapter_3.lean} | 0 Bookshelf/Avigad/{Chapter4.lean => Chapter_4.lean} | 0 Bookshelf/Avigad/{Chapter5.lean => Chapter_5.lean} | 0 Bookshelf/Avigad/{Chapter7.lean => Chapter_7.lean} | 0 Bookshelf/Avigad/{Chapter8.lean => Chapter_8.lean} | 0 7 files changed, 6 insertions(+), 6 deletions(-) rename Bookshelf/Avigad/{Chapter2.lean => Chapter_2.lean} (100%) rename Bookshelf/Avigad/{Chapter3.lean => Chapter_3.lean} (100%) rename Bookshelf/Avigad/{Chapter4.lean => Chapter_4.lean} (100%) rename Bookshelf/Avigad/{Chapter5.lean => Chapter_5.lean} (100%) rename Bookshelf/Avigad/{Chapter7.lean => Chapter_7.lean} (100%) rename Bookshelf/Avigad/{Chapter8.lean => Chapter_8.lean} (100%) diff --git a/Bookshelf/Avigad.lean b/Bookshelf/Avigad.lean index 770de9d..3e10874 100644 --- a/Bookshelf/Avigad.lean +++ b/Bookshelf/Avigad.lean @@ -1,6 +1,6 @@ -import Bookshelf.Avigad.Chapter2 -import Bookshelf.Avigad.Chapter3 -import Bookshelf.Avigad.Chapter4 -import Bookshelf.Avigad.Chapter5 -import Bookshelf.Avigad.Chapter7 -import Bookshelf.Avigad.Chapter8 +import Bookshelf.Avigad.Chapter_2 +import Bookshelf.Avigad.Chapter_3 +import Bookshelf.Avigad.Chapter_4 +import Bookshelf.Avigad.Chapter_5 +import Bookshelf.Avigad.Chapter_7 +import Bookshelf.Avigad.Chapter_8 diff --git a/Bookshelf/Avigad/Chapter2.lean b/Bookshelf/Avigad/Chapter_2.lean similarity index 100% rename from Bookshelf/Avigad/Chapter2.lean rename to Bookshelf/Avigad/Chapter_2.lean diff --git a/Bookshelf/Avigad/Chapter3.lean b/Bookshelf/Avigad/Chapter_3.lean similarity index 100% rename from Bookshelf/Avigad/Chapter3.lean rename to Bookshelf/Avigad/Chapter_3.lean diff --git a/Bookshelf/Avigad/Chapter4.lean b/Bookshelf/Avigad/Chapter_4.lean similarity index 100% rename from Bookshelf/Avigad/Chapter4.lean rename to Bookshelf/Avigad/Chapter_4.lean diff --git a/Bookshelf/Avigad/Chapter5.lean b/Bookshelf/Avigad/Chapter_5.lean similarity index 100% rename from Bookshelf/Avigad/Chapter5.lean rename to Bookshelf/Avigad/Chapter_5.lean diff --git a/Bookshelf/Avigad/Chapter7.lean b/Bookshelf/Avigad/Chapter_7.lean similarity index 100% rename from Bookshelf/Avigad/Chapter7.lean rename to Bookshelf/Avigad/Chapter_7.lean diff --git a/Bookshelf/Avigad/Chapter8.lean b/Bookshelf/Avigad/Chapter_8.lean similarity index 100% rename from Bookshelf/Avigad/Chapter8.lean rename to Bookshelf/Avigad/Chapter_8.lean