(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Mon Jul 19 11:12:47 PDT 1993 by comba    *)
(*      modified on Wed Jul 14 18:09:43 PDT 1993 by harrison *)
(*      modified on Sun Jul 11 11:19:36 PDT 1993 by mhb *)

INTERFACE ViewLine;

END ViewLine.



