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