| .. |
|
test
|
e349b8f935
Improve consistency between test file
|
9 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
|
97f6e2799e
Solve problem with command parsing
|
9 years ago |
|
const.ml
|
22e1d55c37
Improve some comments
|
9 years ago |
|
const.mli
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
default.ml
|
1b9cc33216
Code clean up
|
9 years ago |
|
edit_command.ml
|
c783c257b0
Version
|
10 years ago |
|
exec_cmd.ml
|
57bd4a5d95
All test are now passing
|
9 years ago |
|
file_com.ml
|
2d1a5155f9
Started to upadate reset command, not working well
|
9 years ago |
|
list_rc.ml
|
4230f26862
Improve resetting: tips, way to roll back
|
10 years ago |
|
lock.ml
|
60dc5ef169
Fix a bug, occurring in special cases
|
10 years ago |
|
messages.ml
|
efea3963b8
Improve message when resetting colors
|
9 years ago |
|
messages.mli
|
bf25b3fb86
Try to fix #4
|
10 years ago |
|
oclaunch.ml
|
11d134cd88
Start version 0.3.1
|
10 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
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_b.ml
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_b.mli
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_t.ml
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_t.mli
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_v.ml
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_biniou_v.mli
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
|
tmp_file.ml
|
22e1d55c37
Improve some comments
|
9 years ago |
|
tmp_file.mli
|
5e0c32c7af
Allow to use multiple tmp files
|
9 years ago |
Leo
e349b8f935
Improve consistency between test file