‹ob›: Construction Diary & Job Jar
c000000>
2024-06-12 -11:47 -0700
|
|
‹ob›: Construction Diary & Job Jar |
|
Status |
Date |
Description |
|
|
done |
2024-01-06 |
|
|
| 2024-02-09 | Because there is a catalog in index.html, do I have any need for ob000001.htm ? I think I will allow for it in case there's more that what might be highlighted on index.md | ||
| 2024-02-09 | index.md: Is this the place to describe what we mean by "structure" and the particular notation we have chosen? I should provide a sketch, and refer to obreps for further introduction of structures. [dh:2024-06-12 It might need to be under cs and treatment of logic there. It is also relevant to a model-theoretic view. I'm unclear where that could be addressed.] | ||
| 2024-02-09 | index.md: Clean up stray "," in initial paragraph. | ||
| 2024-02-08 | CFob.txt: fix the "end of obstrings.txt" | ||
| in progress 2024-02-08 |
2024-02-08 | obtheory.txt should go to ob170800. CFob should go to ob180200. Then fix the tombstones. [dh:2024-02-09 obtheory.txt should stay where it is at ob/. CFob can move.] | |
| 2024-02-08 | dev/mockups cross-reference on the initial construction of obtheory.txt. I need to fix some things. | ||
| 2024-01-15 | CFob.txt: Change cross-reference URLs. | ||
| in progress | 2024-01-06 | Use ‹ob› throughout these pages. We want to emphasize the notion of structure. | |
| 2024-01-06 | There might need to be a casual summary at the top and something about how the theory is established. | ||
| 2024-01-06 | Consider folio structure dated to the start of ob.txt and related files. [dh:2023-02-09 That's now sketch.txt and it is under oFrugal. That idea still holds though.] | ||
|
done 2024-06-12 |
2024-02-11 | index.md: Fix filename in the footer of the HTML revision history | |
| done | 2024-02-09 | Now that ob000000.htm is in place, move items from here that are about such content and not about the construction work. | |
| done | 2024-02-09 | 2017/00/ Construction Structure add the common explanation about content catalogued in the ob000001.htm. | |
|
done 2024-02-09 |
2024-01-06 | If I create a folio structure, it is unclear to me how much there is to be gained - wait. If I look at the blog progression, there is much material to bring here. These also establish dates for subtopics. [dh:2024-02-09 I am taking this route.] | |
|
done 2024-02-09 |
2024-02-08 | Create ob000001.htm and ob000000.htm for the Diary & Job Jar, and for the Catalog of folios. | |
|
done 2024-02-09 |
2024-02-08 | 2017/08/ folio structure or do I need to use 2024/02 even though some of the material is older. I suspect I need to use dates of folio introduction and not back-date these where there were no folios before. I will sulk about that. [dh:2024-02-09 I have committed to back-dating just because. I will use "initiated in."] | |
| done | 2024-01-18 | index.md: First paragraph, change "expanded upon here" to "expanded upon." | |
|
done 2024-01-18 |
2024-01-15 | Move sketch to oFrugal when it is set up. Correct the ob.txt tombstone in the GitHub miser/oMiser folder | |
| done | 2024-01-15 | obtheory: Change definition of Ob and Of to avoid the notion of "all" and be more finitist about it. | |
|
done 2024-01-15 |
2024-01-13 | index.htm: Reflect index.html now available | |
|
done 2024-01-14 |
2024-01-13 | index.md: Catalog CFob.txt and sketch.txt | |
|
done 2024-01-13 |
2024-01-06 | index.md: Make a placeholder for this topic. | |
| done | 2024-01-06 | Introduce a clean construction zone | |
 |
You are navigating
construction material of the Miser Project |
created 2023-11-12T04:15Z by orcmid |