scalar-labs
diff --git a/‎tla+/ConsensusCommit/CC.tla renamed to ‎tla+/consensus-commit/CC.tla b/‎tla+/ConsensusCommit/CC.tla renamed to ‎tla+/consensus-commit/CC.tla
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/.project renamed to ‎tla+/consensus-commit/CC.toolbox/.project b/‎tla+/ConsensusCommit/CC.toolbox/.project renamed to ‎tla+/consensus-commit/CC.toolbox/.project
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/.settings/org.lamport.tla.toolbox.prefs renamed to ‎tla+/consensus-commit/CC.toolbox/.settings/org.lamport.tla.toolbox.prefs b/‎tla+/ConsensusCommit/CC.toolbox/.settings/org.lamport.tla.toolbox.prefs renamed to ‎tla+/consensus-commit/CC.toolbox/.settings/org.lamport.tla.toolbox.prefs
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/CC___Model_1.launch renamed to ‎tla+/consensus-commit/CC.toolbox/CC___Model_1.launch b/‎tla+/ConsensusCommit/CC.toolbox/CC___Model_1.launch renamed to ‎tla+/consensus-commit/CC.toolbox/CC___Model_1.launch
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/Model_1/CC.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/CC.tla b/‎tla+/ConsensusCommit/CC.toolbox/Model_1/CC.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/CC.tla
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/Model_1/CCSpec.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/CCSpec.tla b/‎tla+/ConsensusCommit/CC.toolbox/Model_1/CCSpec.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/CCSpec.tla
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/Model_1/MC.cfg renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/MC.cfg b/‎tla+/ConsensusCommit/CC.toolbox/Model_1/MC.cfg renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/MC.cfg
diff --git a/‎tla+/ConsensusCommit/CC.toolbox/Model_1/MC.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/MC.tla b/‎tla+/ConsensusCommit/CC.toolbox/Model_1/MC.tla renamed to ‎tla+/consensus-commit/CC.toolbox/Model_1/MC.tla
diff --git a/‎tla+/ConsensusCommit/CCSpec.tla renamed to ‎tla+/consensus-commit/CCSpec.tla b/‎tla+/ConsensusCommit/CCSpec.tla renamed to ‎tla+/consensus-commit/CCSpec.tla
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/.project renamed to ‎tla+/consensus-commit/CCSpec.toolbox/.project b/‎tla+/ConsensusCommit/CCSpec.toolbox/.project renamed to ‎tla+/consensus-commit/CCSpec.toolbox/.project
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/.settings/org.lamport.tla.toolbox.prefs renamed to ‎tla+/consensus-commit/CCSpec.toolbox/.settings/org.lamport.tla.toolbox.prefs b/‎tla+/ConsensusCommit/CCSpec.toolbox/.settings/org.lamport.tla.toolbox.prefs renamed to ‎tla+/consensus-commit/CCSpec.toolbox/.settings/org.lamport.tla.toolbox.prefs
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/CCSpec___Model_1.launch renamed to ‎tla+/consensus-commit/CCSpec.toolbox/CCSpec___Model_1.launch b/‎tla+/ConsensusCommit/CCSpec.toolbox/CCSpec___Model_1.launch renamed to ‎tla+/consensus-commit/CCSpec.toolbox/CCSpec___Model_1.launch
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/CCSpec.tla renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/CCSpec.tla b/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/CCSpec.tla renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/CCSpec.tla
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/MC.cfg renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/MC.cfg b/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/MC.cfg renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/MC.cfg
diff --git a/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/MC.tla renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/MC.tla b/‎tla+/ConsensusCommit/CCSpec.toolbox/Model_1/MC.tla renamed to ‎tla+/consensus-commit/CCSpec.toolbox/Model_1/MC.tla
diff --git a/‎tla+/ConsensusCommit/README.md renamed to ‎tla+/consensus-commit/README.md
+1-1 b/‎tla+/ConsensusCommit/README.md renamed to ‎tla+/consensus-commit/README.md
+1-1
@@ -1,4 +1,4 @@
-# TLA+ verification of the Consensus Commit protocol in Scalar DB
+## TLA+ verification of the Consensus Commit protocol in Scalar DB
 
 ## Overview of the protocol
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# TLA+ verification of the Consensus Commit protocol in Scalar DB`
	`1`	`+## TLA+ verification of the Consensus Commit protocol in Scalar DB`
`2`	`2`
`3`	`3`	`## Overview of the protocol`
`4`	`4`