/* defaults file for CORAL */ 
alias_rel(cons, consult).
alias_rel(rt, reset_timer).
alias_rel(dt, display_timer).
alias_rel(cr, ws_create).
alias_rel(cur, ws_current).
alias_rel(lw, list_ws).
alias_rel(lr, list_rels).
alias_rel(ro, rel_open).
alias_rel(rc, rel_close).
alias_rel(dd, display_defaults).
alias_rel(sh, shell).
alias_rel(h, history).
