Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: sphinx-contrib/proof
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: sphinx-contrib/proof
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: numfig_format
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 5 files changed
  • 1 contributor

Commits on Oct 30, 2018

  1. Different theorem types have different names.

    Louis Paternault committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    51aab39 View commit details
    Browse the repository at this point in the history

  2. pylint

    Louis Paternault committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    73df33f View commit details
    Browse the repository at this point in the history

  3. Remove useless option

    Louis Paternault committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    56ac0a8 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2018

  1. Merge branch 'master' into numfig_format

    Louis Paternault committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    a54dfc9 View commit details
    Browse the repository at this point in the history

  2. Fix previous merge request 

    Note to self: Do not commit/push when my daughter is doing a temper
tantrum.
    Louis Paternault committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    ea7b57d View commit details
    Browse the repository at this point in the history

  3. [doc] Remove outdated footnote.

    Louis Paternault committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    a607704 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2018

  1. pylint

    Louis Paternault committed Nov 4, 2018
    Configuration menu
    Copy the full SHA
    53db339 View commit details
    Browse the repository at this point in the history
Loading