--- rpl/modules/sets/sets.rplc 2017/06/29 12:32:57 1.1 +++ rpl/modules/sets/sets.rplc 2017/07/03 12:23:48 1.5 @@ -1,4 +1,4 @@ -// Attention, la défintion de __RPLC_MAIN n'est obligatoire que parce qu'on +// Attention, la définition de __RPLC_MAIN n'est obligatoire que parce qu'on // ne compile pas les bibliothèques avec mkrplso puisque à ce moment, // l'environnement RPL/2 n'est pas encore installé. @@ -9,7 +9,7 @@ libraryName(sets); declareSubroutine(onLoading) - notice(stdout, "\nSets library V1R1 for RPL/2(C) 2017 BERTRAND Joel\n"); + notice(stdout, "\nSets library V1R1 for RPL/2 (C) 2017 BERTRAND Joel\n"); notice(stdout, "Sets library loaded.\n\n"); endSubroutine @@ -17,4 +17,9 @@ declareSubroutine(onClosing) notice(stdout, "Sets library unloaded.\n\n"); endSubroutine -exportExternalFunctions(union); +exportExternalFunctions( + complement, + intersection, + union); + +// vim: ts=4