Code

Remove conditional from configure.sh#197

Code

Merged

spitters merged 3 commits intocoq-community:mastercoq-community/corn:masterfrom anandadalton:configure_shanandadalton/corn:configure_shCopy head branch name to clipboardMay 31, 2023

+14-20

Commits

Commits on May 30, 2023

• Remove conditional from configure.sh

  Show description for 551189e
  anandadalton

  committed
  551189e

  Copy full SHA for 551189e

• Revert "'Deprecate Nat.div_le_mono for Div0.div_le_mono'"

  Show description for a3e9b98
  anandadalton

  committed
  a3e9b98

  Copy full SHA for a3e9b98

• Revert "'Deprecate Nat.mod_add for Nat.Div0.mod_add'"

  Show description for ae9ab3a
  anandadalton

  committed
  ae9ab3a

  Copy full SHA for ae9ab3a