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

attempt at listing the available statistics #405

Merged
merged 13 commits into from
Jul 25, 2023
Merged

attempt at listing the available statistics #405

merged 13 commits into from
Jul 25, 2023

Commits on Jun 15, 2023

  1. attempt at listing the available statistics

    @thomasrobiglio
    thomasrobiglio committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    aee7db4 View commit details
    Browse the repository at this point in the history

  2. fixing previous errors

    @thomasrobiglio
    thomasrobiglio committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    f3e8470 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Attempt at implementing suggestions by nich

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    5678e93 View commit details
    Browse the repository at this point in the history

  2. second attempt at displaying the titles

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d174113 View commit details
    Browse the repository at this point in the history

  3. another trial

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    262b7d7 View commit details
    Browse the repository at this point in the history

  4. titles in bold

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    5274b21 View commit details
    Browse the repository at this point in the history

  5. update of the panel for dihypergraph stats

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    87fffde View commit details
    Browse the repository at this point in the history

  6. minor fixes

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    6cee94a View commit details
    Browse the repository at this point in the history

  7. change the hierarchical structure

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    dda062a View commit details
    Browse the repository at this point in the history

  8. minor change

    @thomasrobiglio
    thomasrobiglio committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    8ec9e76 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. moving MultiDi-stats in the right place

    @thomasrobiglio
    thomasrobiglio committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    546a16b View commit details
    Browse the repository at this point in the history

  2. adding decorators to the admonition box

    @thomasrobiglio
    thomasrobiglio committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0086b2a View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. moving up the decorators

    @thomasrobiglio
    thomasrobiglio committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    544f511 View commit details
    Browse the repository at this point in the history