Re: [polyml] Various changes

2015-11-20 Thread Makarius
On Tue, 10 Nov 2015, David Matthews wrote: The aim is to wrap up the current changes into a new release, probably 5.6 rather than 5.5.3 since there are quite a few changes. That will probably be over the next month or two. It certainly makes sense to bump the release number to 5.6. I am in

[polyml] Various changes

2015-11-10 Thread David Matthews
There have been a number of changes added to the git repository over the last weeks and months. This an almost certainly incomplete list. I've tried to include changes that have come up as queries on the mailing list. Added loadHierarchy to PolyML.SavedState. This takes a list of the file