Ignore:
Timestamp:
Oct 1, 2012, 5:58:58 PM (8 years ago)
Author:
campbell
Message:

Branch prototype so that there's a version with the matita output patch
preinstalled.

Location:
Deliverables/D2.2/8051-matita-out
Files:
1 edited
1 copied

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-matita-out/src/options.ml

    r1664 r2383  
    100100
    101101
     102let matita_flag                 = ref false
     103let is_matita_output_enabled () = !matita_flag
     104
    102105(*
    103106let print_result_flag           = ref false
     
    235238  "-dev", Arg.Set dev_test,
    236239  " Playground for developers.";
     240
     241  "-m", Arg.Set matita_flag,
     242  " Output matita term (when available).";
    237243]
Note: See TracChangeset for help on using the changeset viewer.