Log Message:
Update to dinotrace-9.3c

* Dinotrace 9.3c 1/2/2007

***     Add signed decimal radix.  [by Uwe Bonnes]

***     Builds now take place in "obj_dir" to keep them distinct from \ 
sources.

****    Fix VCD files with 10 or 100 femtosecond resolution.

****    Fix dinotrace.el complaint about bad verilog-mode.el version.
        [Joseph Holtgrefe]

****    Fix core dump when no fonts are available.  [Dmitri Belimov]

* Dinotrace 9.3b 3/13/2006

***     Fix line number incrementing in Verilog errors. [Uwe Bonnes]

* Dinotrace 9.3a 6/13/2005

***     Fix too small buttons under openmotif.

***     Fix missing keyboard accelerators under openmotif.

* Dinotrace 9.2b 5/03/2005

***     The default extension for Verilog dumps is now .vcd instead of .dmp.

****    Fix traces containing only real numbers.  [Vitor Antunes]

****    Fix segfault when doing signal adds.  [Guy Hutchinson]