| .. |
|
test
|
1ddb058754
Add unit test for edit_command.ml
|
10 years ago |
|
.merlin
|
f9883977cb
Update merlin
|
10 years ago |
|
add_command.ml
|
845de8880f
Cleaner way to remove warnings 40
|
10 years ago |
|
command_def.ml
|
2b3fd7aef4
Organised CHANGELOG
|
10 years ago |
|
const.ml
|
e2f0bb55b6
Allow to set tmp file
|
10 years ago |
|
const.mli
|
c86f127281
Use more laziness in constants to limit errors.
|
10 years ago |
|
default.ml
|
43e2a21553
Add option to set verbosity level
|
10 years ago |
|
edit_command.ml
|
c783c257b0
Version
|
10 years ago |
|
exec_cmd.ml
|
43e2a21553
Add option to set verbosity level
|
10 years ago |
|
file_com.ml
|
872d2796b1
Revert "Some stupid changes to test an online editor"
|
9 years ago |
|
list_rc.ml
|
4230f26862
Improve resetting: tips, way to roll back
|
10 years ago |
|
lock.ml
|
edcfb28e98
Add basic file locking
|
10 years ago |
|
messages.ml
|
bf25b3fb86
Try to fix #4
|
10 years ago |
|
messages.mli
|
bf25b3fb86
Try to fix #4
|
10 years ago |
|
oclaunch.ml
|
1723cb8a5b
Add timer to see how long it was
|
9 years ago |
|
remove_command.ml
|
96d0f845b1
Adapt all messages to new system
|
10 years ago |
|
settings.atd
|
84bb69f931
Add command to display state
|
10 years ago |
|
settings_j.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
settings_j.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
settings_t.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
settings_t.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
settings_v.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
settings_v.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
state.ml
|
4230f26862
Improve resetting: tips, way to roll back
|
10 years ago |
|
tmp_biniou.atd
|
01acbd4b63
Start to handle biniou format in tmp file
|
10 years ago |
|
tmp_biniou_b.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_biniou_b.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_biniou_t.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_biniou_t.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_biniou_v.ml
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_biniou_v.mli
|
527d3e3b7f
Correct .gitignore
|
10 years ago |
|
tmp_file.ml
|
4230f26862
Improve resetting: tips, way to roll back
|
10 years ago |
|
tmp_file.mli
|
4230f26862
Improve resetting: tips, way to roll back
|
10 years ago |
Leo
1723cb8a5b
Add timer to see how long it was