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.

Sign up for GitHub

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

Jump to bottom

Allow specifying vertex colours in IsDigraphHomomorphism etc. #283

Merged
merged 6 commits into from Jan 24, 2020
Merged

Allow specifying vertex colours in IsDigraphHomomorphism etc. #283

merged 6 commits into from Jan 24, 2020

Commits on Jan 20, 2020

  1. allow specifying colours in IsDigraphHomomorphism etc.

    @MT-resource-bot
    MT-resource-bot committed Jan 20, 2020
    Copy the full SHA
    a20be56 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2020

  1. linting and coverage

    @MT-resource-bot
    MT-resource-bot committed Jan 21, 2020
    Copy the full SHA
    6b94e2e View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2020

  1. refactor

    @MT-resource-bot
    MT-resource-bot committed Jan 23, 2020
    Copy the full SHA
    3b52ce2 View commit details
    Browse the repository at this point in the history

  2. Add K tags to true.

    @james-d-mitchell
    james-d-mitchell committed Jan 23, 2020
    Copy the full SHA
    7b7ec18 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2020

  1. Merge branch 'master' into coloured-homomorphisms

    @james-d-mitchell
    james-d-mitchell committed Jan 24, 2020
    Copy the full SHA
    19c02e0 View commit details
    Browse the repository at this point in the history

  2. Update isomorph.xml

    @james-d-mitchell
    james-d-mitchell committed Jan 24, 2020
    Copy the full SHA
    0db5724 View commit details
    Browse the repository at this point in the history