Free cookie consent management tool by TermsFeed Policy Generator

Changeset 11086

Timestamp:
07/04/14 13:38:38 (12 years ago)
Author:
bburlacu
Message:

#1763: Introduced tree editing functionality directly into the trunk code, with minor changes: simplified drawing (eg when highlighting subtrees from the clipboard), fixed small bug in MinArity function. The branch can be deleted.

(No files)

Note: See TracChangeset for help on using the changeset viewer.