Adding missing header files?



 On 10/17/10 1:29 PM, Robert Dodier wrote:
> On 10/10/10, Dieter Kaiser <drdieterkaiser at web.de> wrote:
>
>> /*******************************************************************************
>>  * File    : antid.mac
>>  * License : GNU General Public License (GPL)
>>  *
>>  * Implementation of the Maxima user functions:
>>  *
>>  *   antid (fn, var,unk)
>>  *   antidiff (fn, var, unk)
>>  *
>>  * See the Maxima reference manual for a documentation.
>>  *
>>  * This file is part of Maxima -- GPL CAS based on DOE-MACSYMA
>>
>> ******************************************************************************/
> I dunno. I'm not really in favor of stuff like this:

I mostly agree, but:
> I'd just leave out the "See the reference manual". I don't see the point of it.
This is useful if there is no documentation within the file itself.  At
least it tells you that it's documented elsewhere, instead of not
documented at all.
> I'd leave out "This file is part of Maxima" too. If you find the file in
> a Maxima CVS sandbox or tar ball, you know it's part of Maxima.
This is only a problem if someone takes a file from somewhere else and
adds it to maxima.  Or someone takes a file from maxima and adds it to
another project.  Perhaps it should be noted as such.  (Or not?)


Ray