<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Hello Jean-Yves,<br>
      <br>
      Le 15/02/2022 à 17:27, Jean-Yves Baudais a écrit :<br>
    </div>
    <blockquote type="cite"
cite="mid:2146976163.119134.1644942440991.JavaMail.zimbra@insa-rennes.fr">
      <pre class="moz-quote-pre" wrap="">Bonjour,

Is there a simple way to clear all the used functions of a given library, because unloader.sce only remove the library from the "who" list, but not the functions that have already been used and that stay in memory, unfortunatly!
</pre>
    </blockquote>
    Yes, this way:<br>
    <br>
    <font face="monospace">--> clear(string(mylib)(2:$))<br>
      <br>
    </font>Should we actually clear also macros belonging to the
    library, in the default unloaded.sce script?<br>
    There is currently an explicit warning in comment: "<span
      style="color:rgb(0,0,0);">This</span> <span
      style="color:rgb(0,0,0);">does</span> <span
      style="color:rgb(0,0,0);">not</span> <span
      style="color:rgb(0,0,0);">unregister</span> <span
      style="color:rgb(0,0,0);">its</span> <span
      style="color:rgb(0,0,0);">macros"</span><br>
    I think it would be cleaner. But there may be some reasons to not
    having done it...<br>
    <br>
    Samuel<br>
    <br>
  </body>
</html>