next up previous contents
Next: JPL convention Up: LINEDB Language Internal Help Previous: INSERT   Contents


REMOVE 

        LINEDB\REMOVE

    Remove the entries (lines properties and  partition  functions)  of  the
    current  line  index (result of the last SELECT command) into the output
    database. The partition function is erased only if no other line of  the
    same species remains in the database.


Gildas manager 2014-07-01