Add choice priorities

Status: Alpha

Brought to you by: plesner

#1 Add choice priorities

Status: open

Owner: Christian Plesner Hansen

Labels: tedir (1)

Priority: 5

Updated: 2005-04-14

Created: 2005-04-14

Private: No

Make it possible to add priorities to the alternatives
of choice expressions and individual productions.