[Mathlib-develop] Status update

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

Hi

Well development seems to have stalled for some time. Given the time sinc=
e the=20
last release I think we should work on producing another release within t=
he=20
next month.

The two things I want to do before releasing are
remove the Meditor code. This should be easy since it isn't being used at=
 the=20
moment.
Improve documentation.

Is there anything else that needs to be added before the next release?

I suggest that we should start using the SourceForge Bug tracking facilit=
ies.=20
I think It'll make keeping track of bugs easier.=20

I've already added a few bugs to the the list. There was one there to do =
with=20
the parser which I've closed since the examples are working now.

I'll try to devote more time to the project in order to get development b=
ack=20
on track.

Best Regards

Mark Sparshatt