Rev 5798 | Rev 9071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5798 | Rev 7809 | ||
---|---|---|---|
Line 79... | Line 79... | ||
79 | exp=$exp,$i |
79 | exp=$exp,$i |
80 | !endif |
80 | !endif |
81 | expand=$exp |
81 | expand=$exp |
82 | !next i |
82 | !next i |
83 | !endif |
83 | !endif |
84 | 84 | ||
85 | !if $op=open and ,$subject notin $expand |
85 | !if $op=open and ,$subject notin $expand |
86 | expand=$expand,$subject |
86 | expand=$expand,$subject |
87 | !endif |
87 | !endif |
88 | 88 | ||
89 | !endif |
89 | !endif |
90 | 90 | ||
91 |
|
91 | cmd_choose_list=all,exec,var,string,file,datafile,ins,random,html,jump,loop,vardef,adm |
92 | 92 | ||
93 | choose_all =all |
93 | choose_all =all |
94 | choose_exec =execution |
94 | choose_exec =execution |
95 | choose_var =variable |
95 | choose_var =variable |
96 | choose_html =html interface |
96 | choose_html =html interface |
Line 100... | Line 100... | ||
100 | choose_datafile=datafile manipulation |
100 | choose_datafile=datafile manipulation |
101 | choose_vardef=variable definition |
101 | choose_vardef=variable definition |
102 | choose_ins =formula/graphics insertion |
102 | choose_ins =formula/graphics insertion |
103 | choose_random=random data generation |
103 | choose_random=random data generation |
104 | choose_file =file manipulation |
104 | choose_file =file manipulation |
- | 105 | choose_adm=administrative |