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

1.1       bertrand    1: // Attention, la défintion de __RPLC_MAIN n'est obligatoire que parce qu'on
                      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)
                     12:    notice(stdout, "\nSets library V1R1 for RPL/2(C) 2017 BERTRAND Joel\n");
                     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: 
                     20: exportExternalFunctions(union);
1.2     ! bertrand   21: 
        !            22: // vim: ts=4

CVSweb interface <joel.bertrand@systella.fr>