v1.0-beta

OpenLogicProject · Oct 15, 2023 · 001ca71 · 001ca71
1 parent e399136
commit 001ca71
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -38,6 +38,9 @@ The output is shown above, and the corresponding LaTeX code below.
 
 ## Changes
 
+**v1.0-beta, October 15, 2023** Adds `outerline` option; improves
+`\by`; fixes spacing when using `tabular`
+
 **v1.0-alpha, Sept 30, 2023** This is an alpha release that adds key-value
 options to the package and commands for customization. It is not fully
 compatible with the 0.x versions (see documentation). Please report

diff --git a/fitch.sty b/fitch.sty
@@ -18,7 +18,7 @@
 
 % Original Author: Peter Selinger, Dalhousie University
 % Created: Jan 14, 2002
-% Modified: Sep 4, 2023
+% Modified: October 15, 2023
 % Version: 0.6
 % Copyright: (C) 2002-2005 Peter Selinger
 % Filename: fitch.sty
@@ -50,7 +50,7 @@
 % \]
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{fitch}[2023-09-30 v1.0-alpha Macros for Fitch-style natural deduction]
+\ProvidesPackage{fitch}[2023-10-15 v1.0-beta Macros for Fitch-style natural deduction]
 
 % Define keyval options
 

diff --git a/fitchdoc.tex b/fitchdoc.tex
@@ -55,7 +55,7 @@
 \href{https://github.com/OpenLogicProject/fitch/issues}{issues} with
 it.}}
 
-\date{Version 1.0-alpha\\ September 30, 2023}
+\date{Version 1.0-beta\\ October 15, 2023}
 
 \begin{document}
 \maketitle