Skip to content
Permalink

Comparing changes

Choose two branches to see what鈥檚 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: b61baef1be3a
Choose a base ref
...
head repository: mockingbirdnest/Principia
compare: 8b8ea121a158
Choose a head ref
  • 4 commits
  • 10 files changed
  • 1 contributor

Commits on Mar 13, 2021

  1. commands for italicized latin locutions

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

  2. regenerate PDFs

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

Commits on Mar 14, 2021

  1. redundant emph

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

  2. Merge pull request #2916 from eggrobin/id-est 

    Italicize Latin locutions
    @eggrobin
    eggrobin committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    8b8ea12 View commit details
    Browse the repository at this point in the history