(* The environment for Htmlc to generate the version dependent files. *)

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

(* Fill the empty/null fields to match your needs. *)

let project_name = "ulib";;
let project_banner_name = "User's additional library";;
let project_major_version = 1;;
let project_minor_version = 0;;
let project_patch_level = 0;;
let project_dev_level = 0;;
let project_dev_info = "";;
let project_version_date = "$(the_date)";;
let project_first_year = 2007;;
let project_institution_long_name =
  "Institut National de Recherche en Informatique et en Automatique";;
let project_institution_short_name = "INRIA";;