From 1d6a9cf1441bd6d478977715d82031e77c20ce5c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 26 Oct 2020 15:46:38 -0400 Subject: Don't include &run in documentation REPL links: it's no longer used --- docs/doc/logic.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/logic.html') diff --git a/docs/doc/logic.html b/docs/doc/logic.html index 40aa5906..fb679153 100644 --- a/docs/doc/logic.html +++ b/docs/doc/logic.html @@ -19,7 +19,7 @@

Examples

We can form truth tables including the non-integer value one-half:

-↗️
    ¬ 00.51
+↗️
    ¬ 00.51
 ⟨ 1 0.5 0 ⟩
 
     ⌜˜ 00.51
-- 
cgit v1.2.3