Re: [Mathlib-develop] Changes to user functions, and bug-fix

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

Hi

>
> At the moment I'm working on a change to m-file based user functions so
> that when the m-file is parsed the syntax tree is serialised as a p-fil=
e.
> This would then be loaded in preference to the origional m-file so that=
 it
> won't need to be reparsed.
>

I've committed these changes. Now when an m-file is parsed, a p-file is=20
created. The next time that function is called the p-file is used as long=
 as=20
the m-file hasn't changed.
=20
Best Regards

Mark Sparshatt