Re: [Mathlib-update] SwingGUI 1.4.0 released

[mark <msp...@ya...>]

Hi,

Sorry it's taken a while to respond to this, I've been getting settled 
into a new job.

Alejandro Torras wrote:
> Hi,
> 
> version 1.4.0 of the mathlib swing graphical interface has been released.
> 

The changes are very good. Especially being able to save the workspace. 
That's very useful.

Best Regards

Mark Sparshatt