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
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 5afd9f2107bd
Choose a base ref
...
head repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: fa67e924e872
Choose a head ref
  • 7 commits
  • 4 files changed
  • 2 contributors

Commits on May 25, 2017

  1. typo in a comment

    eggrobin committed May 25, 2017
    Copy the full SHA
    d51ed43 View commit details
  2. Copy the full SHA
    53bcd6b View commit details
  3. tolerances changed

    eggrobin committed May 25, 2017
    Copy the full SHA
    41878e2 View commit details
  4. blarg

    eggrobin committed May 25, 2017
    Copy the full SHA
    6bab4dc View commit details

Commits on May 26, 2017

  1. ULPs

    eggrobin committed May 26, 2017
    Copy the full SHA
    8b5ce47 View commit details
  2. more ULPs

    eggrobin committed May 26, 2017
    Copy the full SHA
    ceb9ed1 View commit details
  3. Merge pull request #1396 from eggrobin/use-the-new-elements

    Use the new elements
    pleroy authored May 26, 2017
    Copy the full SHA
    fa67e92 View commit details
Loading