why3ide-doc.conf 1020 Bytes
Newer Older
1
[editor coqide]
2
command = "true %f"
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
name = "CoqIDE"

[ide]
allow_source_editing = true
current_tab = 0
default_editor = "editor %f"
default_prover = ""
error_color = "orange"
font_size = 11
goal_color = "gold"
iconset = "fatcow"
intro_premises = true
max_boxes = 16
neg_premise_color = "pink"
premise_color = "chartreuse"
print_coercions = true
19
print_attributes = false
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
print_locs = false
print_time_limit = false
saving_policy = 2
show_full_context = false
task_height = 480
tree_width = 384
verbose = 0
window_height = 768
window_width = 1024

[main]
cntexample = false
magic = 14
memlimit = 1000
running_provers_max = 2
timelimit = 5

[prover]
Guillaume Melquiond's avatar
Guillaume Melquiond committed
38
command = "coqtop -batch -R %l/coq Why3 -l %f"
39 40 41 42 43 44
driver = "coq"
editor = "coqide"
in_place = false
interactive = true
name = "Coq"
shortcut = "coq"
Guillaume Melquiond's avatar
Guillaume Melquiond committed
45
version = "8.7.2"
46 47 48 49 50 51 52 53 54 55

[prover]
command = "alt-ergo -timelimit %t %f"
command_steps = "alt-ergo -steps-bound %S %f"
driver = "alt_ergo"
in_place = false
interactive = false
name = "Alt-Ergo"
shortcut = "alt-ergo"
version = "2.0.0"