[Mathlib-develop] Scripting engine proposal

[Alejandro T. <ate...@ya...>]

Hi,

The other day I downloaded jEdit (http://www.jedit.org/) and I saw that 
it uses an scripting called bean shell.
I looked the main page (http://www.beanshell.org/) and it looks very 
impressive: it can understand Java source (plain text) and compiled code 
without problems.

I think we could incorporate it to the core.

What do you think about?

Regards,
Alejandro.