Use multiple proofs for criteria.

Fork: 0

iw / support

Browse code Use multiple proofs for criteria. master wip/CMIPL-26 v0.1.7 v0.1.4 v0.1.3 v0.1.2 v0.1.1 v0.1.0
1 parent 624e49d commit 942a1abdde16ba1700c7b13fa358ec7cdbd94572 Michal Prihoda authored on 14 Jun 2022

Patch

Unified Split

Showing 8 changed files

Ignore Space Show notes View ui/components/src/ui/components/tailwind/ComponentContext.scala

Ignore Space Show notes View ui/components/src/ui/components/tailwind/Icons.scala

Show notes View ui/components/src/ui/components/tailwind/lists/stacked_lists/WithRightJustifiedSecondColumn.scala 100644 → 0

Show notes View ui/model/src/AppEvent.scala 100644 → 0

Show notes View ui/model/src/HighlightColor.scala 100644 → 0

Show notes View ui/model/src/Icons.scala 100644 → 0

Show notes View ui/model/src/ItemList.scala 100644 → 0

Show notes View ui/model/src/Label.scala 100644 → 0

Show line notes below