--- rpl/LIMITATIONS	2013/03/27 20:33:34	1.130
+++ rpl/LIMITATIONS	2013/03/27 21:25:48	1.131
@@ -1,5 +1,4 @@
 RESTRICTIONS
-	Only formatted and flow files are supported.
 
 Mettre le drapeau de debug dans la pile système pour pouvoir sauter
 les fonctions appelées lors d'un HALT/CONT.
@@ -10,6 +9,14 @@ Réduire le nombre de pipes entre deux p
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+[[1 2 ]]3 valide
+[[ 1 2]] valide
+{{ 3 }} invalide
+{ 5} invalide
+
+RPL/2> { 2}    
++ 001> abort (^D) => revenir au prompt et non au shell
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.