Rev 7588 | Blame | Compare with Previous | Last modification | View Log | RSS feed
!!devtools.proc :
!! Adds devtools links in wims_rm_0 for navigation menus
!set wims_rm_0 = $wims_rm_0\
createxo,1,module=adm/createxo\
modtool,1,module=adm/modtool\
quicktool,1,cmd=new&module=adm/quicktool\
latex2wims,1,cmd=new&module=adm/latex2wims\