Domain and tempate for NASA crew procedures - #97

Merged

istathar merged 7 commits into

technique-lang:mainfrom

istathar:nasa-template

Mar 23, 2026

Commits on Mar 22, 2026

Introduce NASA flight plan domain
istathar
committed
2546048
Better name for NASA/ESA Crew Procedures domain
istathar
committed
a66c743
Merge branch 'main' into 'nasa-template'
istathar
committed
3c1739e
Merge branch 'fix-arguments' into 'nasa-template'
istathar
committed
bd1304e
Present foreach ... seq() as boxes
istathar
committed
7cae36c
Better margins on smaller paper
istathar
committed
0db054f
Remove domain version stripping hack
istathar
committed
0cd267f