mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
7 lines
213 B
Plaintext
Executable File
7 lines
213 B
Plaintext
Executable File
Cursor is placed at position: (8, 14)
|
|
Recorded colors on the source code are:
|
|
Color "goal_tag" from (6, 12) to (6, 20)
|
|
Color "goal_tag" from (7, 14) to (7, 28)
|
|
Color "premise_tag" from (9, 4) to (9, 23)
|
|
End color
|