Code

Replacing \text{ or } with \lor#50

Code

Open

jamesray1 wants to merge 2 commits intoethereum:masterethereum/research:masterfrom jamesray1:patch-12jamesray1/research:patch-12Copy head branch name to clipboard

+2-2

Commits

Commits on Nov 17, 2017

• Replacing \text{ or } with or

  jamesray1

  authored
  43fc0e6

  Copy full SHA for 43fc0e6

Commits on Nov 18, 2017

• Changed \or to \lor

  jamesray1

  authored
  7e29f4b

  Copy full SHA for 7e29f4b