| .. |
|
test
|
e349b8f935
Improve consistency between test file
|
9 years ago |
|
.merlin
|
f9883977cb
Update merlin
|
10 years ago |
|
add_command.ml
|
42e132e79d
Update list subcommand to new tmp file format
|
9 years ago |
|
command_def.ml
|
cc69a229ce
Restore state subcommand, not working properly
|
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
|
49431ebc38
Update comment
|
9 years ago |
|
edit_command.ml
|
4870e110f2
Add reediting to edit command
|
9 years ago |
|
exec_cmd.ml
|
cc69a229ce
Restore state subcommand, not working properly
|
9 years ago |
|
file_com.ml
|
4e2819302a
Add licencing functionality
|
9 years ago |
|
licencing.ml
|
fc6da6e384
Correct mistakes with the licence
|
9 years ago |
|
list_rc.ml
|
20eed712b4
Code cleaning
|
9 years ago |
|
lock.ml
|
60dc5ef169
Fix a bug, occurring in special cases
|
9 years ago |
|
messages.ml
|
4870e110f2
Add reediting to edit command
|
9 years ago |
|
messages.mli
|
44b96bd014
Change Message.confirm to make it work.
|
9 years ago |
|
oclaunch.ml
|
07b7c50126
Continue rewriting
|
9 years ago |
|
remove_command.ml
|
42e132e79d
Update list subcommand to new tmp file format
|
9 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
|
9660dc0cdf
Trying to fix state command, spy values around
|
9 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
|
4870e110f2
Add reediting to edit command
|
9 years ago |
|
tmp_file.mli
|
aef8393b0a
NOT WORKING Add optional arguments for the reset command
|
9 years ago |
|
tools.ml
|
9660dc0cdf
Trying to fix state command, spy values around
|
9 years ago |
|
tools.mli
|
9660dc0cdf
Trying to fix state command, spy values around
|
9 years ago |
Leo
9660dc0cdf
Trying to fix state command, spy values around