Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit c4e6a041 authored by Sylvain Dailler's avatar Sylvain Dailler

remove_list: removed square bracket

parent 83cbbdb8
......@@ -1065,7 +1065,7 @@ sident:
(* Parsing of a list *)
ident_comma_list:
| LEFTSQ comma_list1(ident) RIGHTSQ EOF { $2 }
| comma_list1(ident) EOF { $1 }
(* Labels and position markers *)
......
......@@ -721,7 +721,7 @@ let () = wrap_and_register
(Tprsymbol Ttrans) remove
let () = wrap_and_register
~desc:"remove_list <prop list>: removes a list of hypothesis when given their names. Example syntax: remove_list [a,b,c] ."
~desc:"remove_list <prop list>: removes a list of hypothesis when given their names. Example syntax: remove_list a,b,c "
"remove_list"
(Tprlist Ttrans) remove_list
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment