Reset to Defaults


 Reset to Defaults

   Resets  ASL  settings  to  their  default  values  (as  suggested  by the
 authors).
HTML Conversion by AG2HTML.pl V2.950424, perl 5.000 & witbrock@cs.cmu.edu