doc/why3ide-doc.conf

   1 [partial_prover]
   2 name = "Alt-Ergo"
   3 path = "alt-ergo-2.3.3"
   4 version = "2.3.3"
   5
   6 [partial_prover]
   7 name = "Coq"
   8 path = "coqtop"
   9 version = "8.16.1"
  10
  11 [partial_prover]
  12 name = "CVC4"
  13 path = "cvc4-1.7"
  14 version = "1.7"
  15
  16 [editor coqide]
  17 command = "true %f"
  18 name = "CoqIDE"
  19
  20 [ide]
  21 allow_source_editing = true
  22 auto_next = true
  23 current_tab = 0
  24 error_color_bg = "white"
  25 error_color_fg = "red"
  26 error_color_msg_zone_bg = "yellow"
  27 error_color_msg_zone_fg = "red"
  28 error_line_color = "yellow"
  29 font_size = 10
  30 goal_color = "gold"
  31 iconset = "fatcow"
  32 max_boxes = 16
  33 neg_premise_color = "pink"
  34 premise_color = "chartreuse"
  35 print_attributes = false
  36 print_coercions = true
  37 print_locs = false
  38 print_time_limit = false
  39 saving_policy = 2
  40 search_color = "lightblue"
  41 show_full_context = false
  42 task_height = 220
  43 tree_width = 384
  44 verbose = 0
  45 window_height = 768
  46 window_width = 1024
  47
  48 [main]
  49 default_editor = "emacs %f"
  50 magic = 14
  51 memlimit = 1000
  52 running_provers_max = 2
  53 timelimit = 5