5 date: string; (* "yearXXXX/monthXX/dayXX" *)
7 hol_snapshot: string; (* yearXXmonthXXdayXX *)
8 svn_version: int; (* from http://code.google.com/p/flyspeck *)
9 ftable : (string*int) list;
13 let loglist = [ (* put newest at the beginnning *)
17 hol_snapshot="091221";
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);
31 comment = "Thales, office Mac, Virtual Box, Ubuntu, checkpointed, hypermap.hl failed";