rpl/modules/sets/sets.rplc - diff

Return to sets.rplc CVS log

Up to [local] / rpl / modules / sets

version 1.2, 2017/07/02 22:28:19	version 1.3, 2017/07/03 11:47:04
Line 1	Line 1
// 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,	// ne compile pas les bibliothèques avec mkrplso puisque à ce moment,
// l'environnement RPL/2 n'est pas encore installé.	// l'environnement RPL/2 n'est pas encore installé.

Line 17 declareSubroutine(onClosing)	Line 17 declareSubroutine(onClosing)
notice(stdout, "Sets library unloaded.\n\n");	notice(stdout, "Sets library unloaded.\n\n");
endSubroutine	endSubroutine

exportExternalFunctions(union);	exportExternalFunctions(intersection, union);

// vim: ts=4	// vim: ts=4