Opened 10 years ago

Closed 10 years ago

#465 closed bug (fixed)

Description of ordering rp

Reported by: gorzel Owned by: somebody
Priority: minor Milestone: 3-1-6 and higher
Component: doc Version: 3-1-5
Keywords: Cc:



3.3.3 Term orderings

the ordering 'rp' is missing. It is only shown in

B.2.3 Global orderings

Change History (1)

comment:1 Changed 10 years ago by hannes

Resolution: fixed
Status: newclosed

description of rp added

Note: See TracTickets for help on using tickets.