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 33810098 authored by MARCHE Claude's avatar MARCHE Claude

add missing commands in help text

parent 0c0513a5
......@@ -343,12 +343,15 @@ let help_message commands_table =
@ <prover shortcut> [<time limit> [<mem limit>]]@\n\
@ <query> [arguments]@\n\
@ <strategy shortcut>@\n\
@ mark @\n\
@ clean @\n\
@ replay @\n\
@ bisect @\n\
@ clean @\n\
@ edit @\n\
@ Focus @\n\
@ help <transformation_name> @\n\
@ list_ide_command @ \n\
@ mark @\n\
@ replay [all]@\n\
@ Unfocus @\n\
@\n\
Available queries are:@\n@[%a@]" help_on_queries commands_table
......
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