Ticket #40427

Tabs messed up Gentzen diagrams.

Open Date: 2020-05-19 10:59 Last Update: 2020-05-21 11:26

Reporter:
Owner:
Type:
Status:
Closed
Component:
Priority:
5 - Medium
Severity:
5 - Medium
Resolution:
Fixed
File:
None

Details

When I converted to using tab chars for indentation I messed up the diagrams in the doc strings.

This ticket is to remind me to fix them.

Ticket History (2/2 Histories)

2020-05-19 10:59 Updated by: sforman
  • New Ticket "Tabs messed up Gentzen diagrams." created
2020-05-21 11:26 Updated by: sforman
  • Status Update from Open to Closed
  • Resolution Update from None to Fixed

Attachment File List

No attachments

Edit

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Login