Menu ▾ ▴

#1 Export proof with identity boxes gives negative line numbers

1.3.1
fixed
nobody
identity boxes (1) export (1)
2014-02-13
2014-02-05
Declan Thompson
No

Exporting identity boxes to plain text and TeX code creates standard lines with negative line numbers.

Discussion

  • Declan Thompson

    Declan Thompson - 2014-02-12
    • labels: identity boxes, export --> identity boxes, export
    • status: open --> accepted

    Change implemented, will be released with 1.3.3

     

    Last edit: Declan Thompson 2014-02-12

  • Declan Thompson

    Declan Thompson - 2014-02-13
    • status: accepted --> fixed
     

  • Declan Thompson

    Declan Thompson - 2014-02-13

    Fixed in 1.3.3

     

Anonymous
Anonymous

Add attachments
Cancel