When a user creates a numbered list proof and refers to a line number as a premise he can either use or not use the period after the line number (e.g., '8' vs '8.') and either one works. But if inserting and deleting lines in the proof cause a referenced line number to change, Lurch updates the line numbers with numbers that include the period, regardless of the user's preference, resulting in a proof where some of the premise lines have periods and others do not. Change Lurch so that either the default for whether a Lurch-updated line number reference has a period is a user preference. Alternatively, Lurch can check what the user has for the current number (period or no period) before updating a line number reference, and use the same format.
Log in to post a comment.
