Leo d2c50576f6 Allow to invoke without argument or with a number, for backward compatibility reasons il y a 9 ans
..
test e349b8f935 Improve consistency between test file il y a 9 ans
.merlin f9883977cb Update merlin il y a 10 ans
add_command.ml 845de8880f Cleaner way to remove warnings 40 il y a 10 ans
command_def.ml d2c50576f6 Allow to invoke without argument or with a number, for backward compatibility reasons il y a 9 ans
const.ml 22e1d55c37 Improve some comments il y a 9 ans
const.mli 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
default.ml 1b9cc33216 Code clean up il y a 9 ans
edit_command.ml c783c257b0 Version il y a 10 ans
exec_cmd.ml 57bd4a5d95 All test are now passing il y a 9 ans
file_com.ml 4e2819302a Add licencing functionality il y a 9 ans
licencing.ml 4e2819302a Add licencing functionality il y a 9 ans
list_rc.ml 4230f26862 Improve resetting: tips, way to roll back il y a 10 ans
lock.ml 60dc5ef169 Fix a bug, occurring in special cases il y a 9 ans
messages.ml efea3963b8 Improve message when resetting colors il y a 9 ans
messages.mli bf25b3fb86 Try to fix #4 il y a 10 ans
oclaunch.ml 07b7c50126 Continue rewriting il y a 9 ans
remove_command.ml 96d0f845b1 Adapt all messages to new system il y a 10 ans
settings.atd 84bb69f931 Add command to display state il y a 10 ans
settings_j.ml 527d3e3b7f Correct .gitignore il y a 10 ans
settings_j.mli 527d3e3b7f Correct .gitignore il y a 10 ans
settings_t.ml 527d3e3b7f Correct .gitignore il y a 10 ans
settings_t.mli 527d3e3b7f Correct .gitignore il y a 10 ans
settings_v.ml 527d3e3b7f Correct .gitignore il y a 10 ans
settings_v.mli 527d3e3b7f Correct .gitignore il y a 10 ans
state.ml 4230f26862 Improve resetting: tips, way to roll back il y a 10 ans
tmp_biniou.atd 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_b.ml 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_b.mli 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_t.ml 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_t.mli 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_v.ml 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_biniou_v.mli 5e0c32c7af Allow to use multiple tmp files il y a 9 ans
tmp_file.ml 5dd91bc82a Code cleaning il y a 9 ans
tmp_file.mli 5e0c32c7af Allow to use multiple tmp files il y a 9 ans