Changes In Branch doc-expansion Through [63876c18] Excluding Merge-Ins
This is equivalent to a diff from 75502f96 to 63876c18
|
2020-02-19
| ||
| 07:25 | Merge doc updates. Closes [2e658da] check-in: 2cd87113 user: joel tags: trunk | |
|
2020-02-14
| ||
| 22:25 | Reorganize Pollen and cache stuff in scribble docs check-in: dc332aff user: joel tags: doc-expansion | |
|
2020-02-12
| ||
| 21:13 | Use friendlier repo URL in code docs check-in: 63876c18 user: joel tags: doc-expansion | |
| 21:12 | Don’t clobber the footer when rebuilding code docs check-in: c8354d62 user: joel tags: doc-expansion | |
|
2020-02-10
| ||
| 21:15 | Merge updates from trunk check-in: e52e53c8 user: joel tags: doc-expansion | |
| 17:28 | Improved footer check-in: 75502f96 user: joel tags: trunk | |
|
2020-02-08
| ||
| 17:56 | The footer is here. Closes [87f985fb5b] and [751a7ebc2a] check-in: 2c0b202b user: joel tags: trunk | |
Added code-docs/custom.css version [471eaf45].
Added code-docs/design.scrbl version [7f7e48a9].
Modified code-docs/main.scrbl from [6cbd40b5] to [74d70439]. [diff]
Modified code-docs/scribble-helpers.rkt from [95058fad] to [a1dd7f15]. [diff]
Added code-docs/tour.scrbl version [a54742ec].
Modified makefile from [9872e7c1] to [ffa5dcb1]. [diff]