Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add AmalgamDigraphs #532

Open
wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Add AmalgamDigraphs #532

wants to merge 11 commits into from

Commits on Mar 17, 2022

  1. Configuration menu
    Copy the full SHA
    1f46844 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2022

  1. Added documentation.

    finnbuck committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    5fae321 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2022

  1. Update gap/oper.gi

    Co-authored-by: James Mitchell <[email protected]>
    finnbuck and james-d-mitchell committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    241abcd View commit details
    Browse the repository at this point in the history
  2. Update gap/oper.gi

    Co-authored-by: James Mitchell <[email protected]>
    finnbuck and james-d-mitchell committed Apr 1, 2022
    Configuration menu
    Copy the full SHA
    304dd95 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2022

  1. Configuration menu
    Copy the full SHA
    3ec1aae View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2022

  1. Configuration menu
    Copy the full SHA
    cff2149 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2022

  1. Configuration menu
    Copy the full SHA
    49e5ef5 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2022

  1. Configuration menu
    Copy the full SHA
    781dcb9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    53716a0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5e70d76 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2022

  1. Configuration menu
    Copy the full SHA
    74b3afd View commit details
    Browse the repository at this point in the history