Opened 10 years ago

Closed 7 years ago

#11 closed enhancement (invalid)

add options to PDT2vert

Reported by: Vašek Owned by: Vašek
Priority: minor Milestone:
Component: component1 Keywords:
Cc: Due Date:

Description

add options for:
removing notes for lemmas
output types (vertical, structures)

Change History (3)

comment:1 Changed 10 years ago by Vašek

Status: newaccepted

zero subjects as an option

Version 1, edited 9 years ago by Vašek (previous) (next) (diff)

comment:2 in reply to:  description Changed 9 years ago by Vašek

removing notes for lemmas

These are preceded by [^-`_]

comment:3 Changed 7 years ago by xkocinc

Resolution: invalid
Status: acceptedclosed
Note: See TracTickets for help on using tickets.