On 12/31/10 4:36 AM, andre maute wrote:
> On 12/31/2010 03:17 AM, Robert Dodier wrote:
>> On 12/30/10, andre maute<andre.maute at gmx.de> wrote:
>>
>>> P.S: was either of the two mechanisms documented somewhere?
>> Well, file_type is documented in the reference manual,
>> but the description is out of date.
> Well I meant if load can only load
> files with a specific extension
> that should be documented at the place where
> the documentation of load is.
>
Yes, it should be documented.
Alternatively, if you know it's a maxima file, then use batchload, which
is what load does for a recognized maxima file.
I will try to update $file_type to recognize max as a maxima extension
and update the documention soon.
Ray