Skip to content

Commit 8699732

Browse files
Update new_pages.md
1 parent 7e21952 commit 8699732

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

src/doc/docs/about/new_pages.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,10 @@ tags:
55

66
This page lists all new pages since August 2022.
77

8+
## April 2025
9+
10+
- [MPS Internals: Generation Plans](mps_generation_plans.md)
11+
812
## April 2024
913

1014
- [Reference: Annotations](annotations.md)
@@ -88,4 +92,4 @@ This page lists all new pages since August 2022.
8892
- [Reference: Tips for OS Maintainers](tips_for_os_maintainers.md)
8993
- [MPS internal: IntelliJ Integration](intellij_integration.md)
9094
- [MPS internal: JCEF](jcef.md)
91-
- [MPS internal: Navigating the MPS Sources](navigating_mps_source.md)
95+
- [MPS internal: Navigating the MPS Sources](navigating_mps_source.md)

0 commit comments

Comments
 (0)