Skip to content

extend the julia_to_gap documentation#824

Merged
fingolfin merged 2 commits intooscar-system:masterfrom ThomasBreuer:TB_julia_to_gap_documentOct 10, 2022

Commits

Commits on Sep 14, 2022

Commits on Sep 15, 2022