next up previous contents index
Next: load_file Up: Predefined functions Previous: function_percent

Others

Here are some other useful functions.





Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997