(* $Id: banner_local.env,v 1.1 2007-07-13 12:53:27 fclement Exp $ *)

(* The Mk local Htmlc environment for the generation of banner files. *)

let line_width = 65;;

(* Teams *)
let cristal = "projet Cristal, INRIA-Rocquencourt";;
let estime = "projet Estime, INRIA-Rocquencourt";;
let cristal_and_estime = "projets Cristal & Estime, INRIA-Rocquencourt";;
let estime_and_cristal = "projets Estime & Cristal, INRIA-Rocquencourt";;

(* Institutions. *)
let inria =
  "Institut National de Recherche en Informatique et en Automatique.";;

(* Developers *)
let fc = "Francois Clement <Francois.Clement@inria.fr>";;
let pw = "Pierre Weis <Pierre.Weis@inria.fr>";;