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/languages.mli

    r1542 r2383  
    9191    is false then the written file will be fresh. If [asm_pretty] is true, then
    9292    an additional pretty-printed assembly file is output. *)
    93 val save : bool -> bool -> string -> string -> ast -> unit
     93val save : bool -> ?matita:bool -> bool -> string -> string -> ast -> unit
    9494
    9595(** [save_cost exact_name filename cost_id cost_incr extern_cost_variables]
Note: See TracChangeset for help on using the changeset viewer.