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 names of saved states in order from grandparent, parent to child, and loads them. It functions the same way as loadState except that it allows the parent paths to be specified.
Types in structures with opaque signatures are now printed as "?" rather than the print function being inherited.
In the debugger, pressing control-C to the debug> prompt returns to the top-level. Actually, what happens is that break-points are disabled and the Thread.Thread.Interrupt exception is raised in the debuggee so it has a chance to clear up. If the debuggee actually catches the interrupt exception then it may not actually return to the top level. There's also a "locals" function in PolyML.Debug to display the local variables.
When compiling a file with "use", PolyML.getUseFileName returns the current file name.
The floating point precision is now set to 64-bits to avoid inconsistencies depending on whether an intermediate floating point value has been kept in a register or saved into memory.
The PolyML.NameSpace structure has been reorganised to split out functions related to the various binding classes into separate sub-structures.
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.
David
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 the process to catch up with all that for the coming winter release of Isabelle.
Makarius