Rev 11212 | Rev 11292 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 11212 | Rev 11220 | ||
|---|---|---|---|
| Line 2... | Line 2... | ||
| 2 | tit:instexstatic |
2 | tit:instexstatic |
| 3 | type:$type_pexec |
3 | type:$type_pexec |
| 4 | alias: |
4 | alias:instexst, staticinstex, stinstex |
| 5 | syntax:!instexstatic `gifname texsource' |
5 | syntax:!instexstatic `gifname texsource' |
| 6 | mean:This command is obsolete, and will be dropped in future versions.\ |
6 | mean:This command is obsolete, and will be dropped in future versions.\ |
| 7 | Use $(ref1)cmdlist_instex_&+cmd_choose=all$(ref2)cmdlist_instex_">!instex</a> instead. |
7 | Use $(ref1)cmdlist_instex_&+cmd_choose=all$(ref2)cmdlist_instex_">!instex</a> instead. |
| 8 | 8 | ||
| 9 | !exit |
9 | !exit |