equal
deleted
inserted
replaced
25 |
25 |
26 declare names_long : bool = false |
26 declare names_long : bool = false |
27 declare names_short : bool = false |
27 declare names_short : bool = false |
28 declare names_unique : bool = true |
28 declare names_unique : bool = true |
29 |
29 |
|
30 declare pretty_margin : int = 76 |
|
31 |
30 declare thy_output_display : bool = false |
32 declare thy_output_display : bool = false |
31 declare thy_output_quotes : bool = false |
33 declare thy_output_quotes : bool = false |
32 declare thy_output_indent : int = 0 |
34 declare thy_output_indent : int = 0 |
33 declare thy_output_source : bool = false |
35 declare thy_output_source : bool = false |
34 declare thy_output_break : bool = false |
36 declare thy_output_break : bool = false |