Skip to content

[asl reference] use \ChapterOutline to auto-generate chapter outlines from the list of sections - #1925

Open
Roman-Manevich wants to merge 2 commits into
masterfrom
asl-954-chapter-outlines
Open

[asl reference] use \ChapterOutline to auto-generate chapter outlines from the list of sections#1925
Roman-Manevich wants to merge 2 commits into
masterfrom
asl-954-chapter-outlines

Conversation

@Roman-Manevich

Copy link
Copy Markdown
Collaborator

Automated ASL Reference chapter outlines using new \SectionDef, \OutlineSubsectionDef, and \ChapterOutline macros:

  • \ChapterOutline generates the current chapter’s outline, including sections defined across multiple files.
  • \SectionDef[description]{label}{title} defines a labelled section and automatically adds it to the chapter outline.
  • \OutlineSubsectionDef[description]{label}{title} defines a labelled subsection and nests it beneath the preceding outlined section.

Outlines are generated across file boundaries.

Migrated existing chapter outlines and updates doclint.py to understand the new macros.

This PR is AI-assisted.

@Roman-Manevich
Roman-Manevich requested a review from hrutvik July 22, 2026 00:34
@Roman-Manevich
Roman-Manevich marked this pull request as ready for review July 22, 2026 00:35
@Roman-Manevich
Roman-Manevich force-pushed the asl-954-chapter-outlines branch from eb8b873 to cd93306 Compare July 22, 2026 00:48
Comment thread asllib/doc/AbstractSyntax.tex Outdated
Comment thread asllib/doc/ASLmacros.tex Outdated
Comment thread asllib/doc/macros.hva
Comment thread asllib/doc/TypeSystemUtilities.tex
@Roman-Manevich
Roman-Manevich requested a review from maranget August 4, 2026 20:45
@Roman-Manevich
Roman-Manevich force-pushed the asl-954-chapter-outlines branch from cd93306 to 00f8e71 Compare August 4, 2026 21:01
@Roman-Manevich
Roman-Manevich requested a review from hrutvik August 4, 2026 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants