[Mathlib-develop] Swing interface

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

Hi Stefan and Alejandro

I've noticed an error with the swing interface. It's stripping off the la=
st=20
character of any expression so that 12 + 34 becomes just 12 + 3

Also now that the mailing list is set up what do you think to using that =
for=20
all discussion? It'll mean that all our insightful comments will be store=
d=20
for prosterity.=20

Best Regards

Mark