Lines Matching refs:commands
73 Apart from a general command syntax we propose several specific commands
88 3.2 A generalised format for embedding commands in comments.
123 We are *not* proposing any fixed canonical list of commands. The idea is to
125 commands.
127 We *are* proposing a set of commands to deal with time handling. "clk" in the
129 4 for the detailed specification of this and other time related commands.
136 default strip out all commands before display in order to improve legibility.
182 3.2.6 Multiple commands.
183 A single comment tag may contain multiple embedded commands.
187 4. Time handling commands.
189 We propose the following commands for time handling The first is the command
192 The other commands are optional and cover times that can be derived from the
196 All these commands take one and only one parameter which is a time value in the
199 The comments containing the embedded commands are to be taken as referring to
324 additional text comments and commands (cf the %emt command after whites third
327 8.6. Notice that commands can appear at any point inside comments and that there
328 may be multiple commands in a single comment.