--- rpl/src/rpl.h	2011/07/25 07:45:00	1.107
+++ rpl/src/rpl.h	2011/09/01 12:14:56	1.114
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.2
+  RPL/2 (R) version 4.1.3
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -2146,6 +2146,8 @@ typedef struct processus
 	gsl_rng						*generateur_aleatoire;
 	const gsl_rng_type			*type_generateur_aleatoire;
 
+	void						*contexte_cas;
+
 	integer8					nombre_arguments;
 
 	/*
@@ -2292,6 +2294,7 @@ typedef struct fonction
 // BEGIN C PROTOTYPES
 void instruction_sensible_e(struct_processus *s_etat_processus);
 void instruction_sensible_i(struct_processus *s_etat_processus);
+void instruction_sensible_infinity(struct_processus *s_etat_processus);
 
 void instruction_abort(struct_processus *s_etat_processus);
 void instruction_abs(struct_processus *s_etat_processus);
@@ -2488,6 +2491,7 @@ void instruction_in(struct_processus *s_
 void instruction_incr(struct_processus *s_etat_processus);
 void instruction_indep(struct_processus *s_etat_processus);
 void instruction_input(struct_processus *s_etat_processus);
+void instruction_infinity(struct_processus *s_etat_processus);
 void instruction_inquire(struct_processus *s_etat_processus);
 void instruction_int(struct_processus *s_etat_processus);
 void instruction_interrupt(struct_processus *s_etat_processus);
@@ -2511,6 +2515,7 @@ void instruction_lcd_fleche(struct_proce
 void instruction_lchol(struct_processus *s_etat_processus);
 void instruction_le(struct_processus *s_etat_processus);
 void instruction_legv(struct_processus *s_etat_processus);
+void instruction_limit(struct_processus *s_etat_processus);
 void instruction_line(struct_processus *s_etat_processus);
 void instruction_list_fleche(struct_processus *s_etat_processus);
 void instruction_ln(struct_processus *s_etat_processus);
@@ -2703,6 +2708,7 @@ void instruction_sqlquery(struct_process
 void instruction_sqrt(struct_processus *s_etat_processus);
 void instruction_sr(struct_processus *s_etat_processus);
 void instruction_srb(struct_processus *s_etat_processus);
+void instruction_srev(struct_processus *s_etat_processus);
 void instruction_sst(struct_processus *s_etat_processus);
 void instruction_star_d(struct_processus *s_etat_processus);
 void instruction_star_h(struct_processus *s_etat_processus);
@@ -2764,7 +2770,6 @@ void instruction_t_vers_l(struct_process
 
 void instruction_ucase(struct_processus *s_etat_processus);
 void instruction_uchol(struct_processus *s_etat_processus);
-void instruction_undo(struct_processus *s_etat_processus);
 void instruction_unlock(struct_processus *s_etat_processus);
 void instruction_unprotect(struct_processus *s_etat_processus);
 void instruction_until(struct_processus *s_etat_processus);
@@ -2880,6 +2885,7 @@ void impression_tex(struct_processus *s_
 void informations(struct_processus *s_etat_processus);
 void initialisation_allocateur(struct_processus *s_etat_processus);
 void initialisation_completion(void);
+void initialisation_contexte_cas(struct_processus *s_etat_processus);
 void initialisation_drapeaux(struct_processus *s_etat_processus);
 void initialisation_generateur_aleatoire(struct_processus *s_etat_processus,
 		logical1 initialisation_automatique, unsigned long int racine);
@@ -2926,6 +2932,7 @@ void liberation_arbre_instructions(struc
 		struct_instruction *arbre);
 void liberation_arbre_variables(struct_processus *s_etat_processus,
 		struct_arbre_variables *arbre, logical1 definitions);
+void liberation_contexte_cas(struct_processus *s_etat_processus);
 void liberation_generateur_aleatoire(struct_processus *s_etat_processus);
 void liberation_threads(struct_processus *s_etat_processus);
 void liberation_profil(struct_processus *s_etat_processus);