From f4d588f0d0e7cd303131268e26d3e2538ad2b28d Mon Sep 17 00:00:00 2001 From: Queeny Date: Tue, 8 May 2018 22:50:54 -0700 Subject: [PATCH 1/2] Update the format --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e4c3ed6..a1afb73 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,10 @@ -# tla-plus +# tla-plus in TiDB + +## About tla-plus TLA+ is a formal specification and verification language to help engineers design, specify, reason about, and verify complex software and hardware systems. It is widely used to verify the algorithms in distributed systems. -# tla-plus in TiDB +## Using tla-plus in TiDB In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes: From 870c44c3ab5ddd2c25cc9f07a0bb95ad6a21d3fc Mon Sep 17 00:00:00 2001 From: Queeny Date: Tue, 8 May 2018 22:52:09 -0700 Subject: [PATCH 2/2] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a1afb73..12218a3 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,10 @@ -# tla-plus in TiDB +# TLA+ in TiDB -## About tla-plus +## About TLA+ TLA+ is a formal specification and verification language to help engineers design, specify, reason about, and verify complex software and hardware systems. It is widely used to verify the algorithms in distributed systems. -## Using tla-plus in TiDB +## Using TLA+ in TiDB In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes: