From 689d1abb04bb3c32636ad7f4409ee148ece77952 Mon Sep 17 00:00:00 2001 From: Ken Monks Date: Wed, 11 Dec 2024 16:04:12 -0700 Subject: [PATCH] Bug fixes in the quick-start-guide --- help/context.lurch | 10 +++++----- help/quick-start-guide.lurch | 38 ++++++++++++++++++------------------ 2 files changed, 24 insertions(+), 24 deletions(-) diff --git a/help/context.lurch b/help/context.lurch index ad348433..e6265fe1 100644 --- a/help/context.lurch +++ b/help/context.lurch @@ -4,21 +4,21 @@ - +

This is the Document Context

-

If this was a real document we would list rules and definitions here that you could use in your proofs.  For example, we declare ⊆, ∈, 1, 2, +, and = to be constants, and have simple rules like this.

+

If this was a real document we would list rules and definitions here that you could use in your proofs.  For example, we can declare ⊆, ∈, +, and = to be constants, and have simple rules like this.

-

Definition of subset: If A⊆B and x∈A then x∈B.

+

Definition of subset: If A⊆B, and x∈A then x∈B.

Theorem (iconic math fact):  1+1=2

-

Some documents don't have any context.  Other documents can have hundreds of rules in their context.  All of them appear here.  Choosing Show/Hide feedbackfrom the math menu (or pressing its hotkey) will alternately show and hide this context.

+

Some documents don't have any context.  Other documents can have hundreds of rules in their context.  All of them appear here.  Choosing Show/Hide validityfrom the math menu (or pressing its hotkey) will alternately show and hide this context.

 

\ No newline at end of file diff --git a/help/quick-start-guide.lurch b/help/quick-start-guide.lurch index 2816fa0a..b28f5b6a 100644 --- a/help/quick-start-guide.lurch +++ b/help/quick-start-guide.lurch @@ -4,32 +4,32 @@ -