development/thales/chaff/general/log.hl

   1
   2 module Log = struct
   3
   4 type t = {
   5   date: string; (* "yearXXXX/monthXX/dayXX" *)
   6   hol_version: string;
   7   hol_snapshot: string; (* yearXXmonthXXdayXX *)
   8   svn_version: int;  (* from http://code.google.com/p/flyspeck *)
   9   ftable : (string*int) list;
  10   comment : string;
  11 };;
  12
  13 let loglist = [  (* put newest at the beginnning *)
  14 {
  15 date = "2010/01/12";
  16 hol_version="2.20+";
  17 hol_snapshot="091221";
  18 svn_version=1531;
  19 ftable=[("volume/vol1.hl", 750); ("trigonometry/trigonometry.hl", 732);
  20    ("trigonometry/trig2.hl", 730); ("trigonometry/trig1.hl", 721);
  21    ("nonlinear/ineqdata3q1h.hl", 720); ("nonlinear/ineq.hl", 720);
  22    ("leg/enclosed_def.hl", 720); ("leg/quadratic_root_plus_def.hl", 719);
  23    ("leg/abc_of_quadratic_def.hl", 718); ("leg/muR_def.hl", 717);
  24    ("leg/collect_geom.hl", 716); ("leg/cayleyR_def.hl", 691);
  25    ("leg/affprops.hl", 690); ("leg/AFF_SGN_TAC.hl", 690);
  26    ("leg/geomdetail.hl", 690); ("general/sphere.hl", 648);
  27    ("general/flyspeck_utility.hl", 580);
  28    ("general/prove_by_refinement.hl", 580);
  29    ("general/update_database_310.ml", 580); ("general/print-types.ml", 580);
  30    ("pervasives", 580)];
  31  comment = "Thales, office Mac, Virtual Box, Ubuntu, checkpointed, hypermap.hl failed";
  32 };
  33 ];;
  34
  35 end;;
  36