next up previous contents index
Next: PIPELINE Up: IMAGER Language Internal Help Previous: Language   Contents   Index


TIPS

        IMAGER\TIPS [Number]
            Without argument, print out a random tip about IMAGER.
      With an argument, give the corresponding tip number.


Gildas manager 2023-06-01