Return to sets.rplc CVS log

Up to [local] / rpl / modules / sets

Annotation of rpl/modules/sets/sets.rplc, revision 1.5

1.3       bertrand    1: // Attention, la définition de __RPLC_MAIN n'est obligatoire que parce qu'on
1.1       bertrand    2: // ne compile pas les bibliothèques avec mkrplso puisque à ce moment,
                      3: // l'environnement RPL/2 n'est pas encore installé.
                      4: 
                      5: #define __RPLC_MAIN
                      6: #include "src/rplexternals.h"
                      7: #include "sets.h"
                      8: 
                      9: libraryName(sets);
                     10: 
                     11: declareSubroutine(onLoading)
1.5     ! bertrand   12:    notice(stdout, "\nSets library V1R1 for RPL/2 (C) 2017 BERTRAND Joel\n");
1.1       bertrand   13:    notice(stdout, "Sets library loaded.\n\n");
                     14: endSubroutine
                     15: 
                     16: declareSubroutine(onClosing)
                     17:    notice(stdout, "Sets library unloaded.\n\n");
                     18: endSubroutine
                     19: 
1.4       bertrand   20: exportExternalFunctions(
                     21:        complement,
                     22:        intersection,
                     23:        union);
1.2       bertrand   24: 
                     25: // vim: ts=4