Commit Graph

6 Commits

Author SHA1 Message Date
Greg Pfeil
75c228f4e1
Use CommonMark-compatible info strings everywhere
The bulk of this updates transcripts to put spaces around the language
name in code blocks. E.g.,
```` markdown
```ucm:hide
````
becomes
```` markdown
``` ucm :hide
````

This corresponds to
https://share.unison-lang.org/@unison/website/contributions/11, which
updates the docs in the same way.

This is effectively a fix for #5214, but that issue also has good recommendations for future changes to info strings, so
I don’t know that it should be closed.
2024-10-08 14:23:34 -06:00
Chris Penner
5ca1eb3b8d Replace '.' references with scratch/main 2024-06-25 11:11:07 -07:00
Chris Penner
db15634fde Rename to debug.term|type.abt 2024-01-31 16:04:20 -08:00
Chris Penner
6706b2e818 Remove verbose transcripts since anythingToString seems to be system
dependent.
2024-01-30 12:53:27 -08:00
Chris Penner
68c78f8d8f Update transcripts 2024-01-30 11:58:55 -08:00
Chris Penner
8a099ce233 Add debug-definition transcripts 2024-01-30 11:55:36 -08:00