Code

Miscellaneous minimal syntax fixes#56

Code

Open

dwarfmaster wants to merge 3 commits intothe-lambda-church:pathogen-bundlethe-lambda-church/coquille:pathogen-bundlefrom dwarfmaster:syntax-fixdwarfmaster/coquille:syntax-fixCopy head branch name to clipboard

+3-3

Commits

Commits on Apr 9, 2017

• add Theorem coloration to Fact

  dwarfmaster

  committed
  b2aa621

• color all same-typed hypothesis in goal window

  dwarfmaster

  committed
  60f9a28

Commits on Apr 15, 2017

• add exfalso to tactic coloring

  dwarfmaster

  committed
  0f83870