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: mockingbirdnest/Principia
base: f68184780927
Choose a base ref
...
head repository: mockingbirdnest/Principia
compare: 6e184be54b48
Choose a head ref
  • 20 commits
  • 12 files changed
  • 1 contributor

Commits on Mar 9, 2021

  1. Ensure consistent labels

    eggrobin committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    c8366c1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    76705ee View commit details
    Browse the repository at this point in the history
  3. merge

    eggrobin committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    c6ca198 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2021

  1. merge

    eggrobin committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    2504ba3 View commit details
    Browse the repository at this point in the history
  2. regenerate the bibliography

    eggrobin committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    fe9a66d View commit details
    Browse the repository at this point in the history
  3. force manual disambiguation

    eggrobin committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    a2bbb2d View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2021

  1. Add userd

    eggrobin committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    68d6092 View commit details
    Browse the repository at this point in the history
  2. [BCR01b] is inproceedings

    eggrobin committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    a3c3895 View commit details
    Browse the repository at this point in the history
  3. [Eve85 is inproceedings

    eggrobin committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    df71a8a View commit details
    Browse the repository at this point in the history
  4. Delambre has an eprint

    eggrobin committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    08ec8ce View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2b4cffd View commit details
    Browse the repository at this point in the history
  6. venue, not location

    eggrobin committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    12ff6fa View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2021

  1. Configuration menu
    Copy the full SHA
    8428840 View commit details
    Browse the repository at this point in the history
  2. בְּמִדְבַּר‎

    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    b381b53 View commit details
    Browse the repository at this point in the history
  3. regenerate all PDFs

    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    8fe2408 View commit details
    Browse the repository at this point in the history
  4. fix spacing issues.

    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    15762aa View commit details
    Browse the repository at this point in the history
  5. print metadata

    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    3bc65cd View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    3ca7f2e View commit details
    Browse the repository at this point in the history
  7. regenerate the PDFs

    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    8d32f80 View commit details
    Browse the repository at this point in the history
  8. Merge pull request #2914 from eggrobin/bibliography-cleanups

    Bibliography cleanups
    eggrobin committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    6e184be View commit details
    Browse the repository at this point in the history