| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 3 hours | Migrate to `Felix` namespaceHEADhotg | adelon | |
| 7 hours | Simplify entry/CLI, track slowest ATP tasks | adelon | |
| 3 days | Cover the shared HTML presentation index | adelon | |
| 3 days | Publish verified HTML sequentially | adelon | |
| 3 days | Reuse verified presentation for HTML | adelon | |
| 10 days | Route HTML links through render context | adelon | |
| 10 days | Suppress unchecked datatype fact previews | adelon | |
| HTML currently has only raw datatype syntax, while checked facts may use canonical domains. Omit derived facts until checked semantic context reaches the renderer. | |||
| 10 days | Parse the resolved physical source graph | adelon | |
| 2026-04-14 | Prefix URLs with directory (e.g. `library/`) | adelon | |
| 2026-04-13 | Render derived facts for datatypes | adelon | |
| 2026-04-11 | Add links to tooltip | adelon | |
| 2026-04-11 | Pin tooltip (WIP) | adelon | |
| 2026-04-11 | Consolidate reference avalanches | adelon | |
| 2026-04-11 | Cross-link theories | adelon | |
| 2026-04-11 | Make tooltips more efficient (less markup) | adelon | |
| 2026-04-11 | Add brute force tooltips | adelon | |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |