Leo 3e0c75bb32 Hide some function of Id_parsing 8 years ago
..
test ed0e3b1e74 Add test for id like 3-3 8 years ago
third-part 508e38116f Add copyright notice for Core_kernel copied files 9 years ago
.merlin f9883977cb Update merlin 10 years ago
README.md d9b39203b3 Add general explanation of the way the program works 9 years ago
add_command.ml 29aa9857ea Change my contact address 9 years ago
bug.ml 9c2461c756 Factor url to report bug and related code 8 years ago
clean_command.ml 29aa9857ea Change my contact address 9 years ago
color_print.ml 279289f7e6 Restore the color part of Core_extended 9 years ago
command_def.ml 9c2461c756 Factor url to report bug and related code 8 years ago
const.ml 29aa9857ea Change my contact address 9 years ago
const.mli 29aa9857ea Change my contact address 9 years ago
default.ml 29aa9857ea Change my contact address 9 years ago
edit_command.ml 29aa9857ea Change my contact address 9 years ago
exec_cmd.ml 29aa9857ea Change my contact address 9 years ago
file_com.ml 9c2461c756 Factor url to report bug and related code 8 years ago
id_parsing.ml 91c74d0b61 Add spying expressions 8 years ago
id_parsing.mli 3e0c75bb32 Hide some function of Id_parsing 8 years ago
licencing.ml 29aa9857ea Change my contact address 9 years ago
list_rc.ml 2a1da27c37 Fix indentation 8 years ago
lock.ml 29aa9857ea Change my contact address 9 years ago
lock.mli 29aa9857ea Change my contact address 9 years ago
messages.ml 29aa9857ea Change my contact address 9 years ago
messages.mli 29aa9857ea Change my contact address 9 years ago
oclaunch.ml 29aa9857ea Change my contact address 9 years ago
remove_command.ml 29aa9857ea Change my contact address 9 years ago
settings.atd 29aa9857ea Change my contact address 9 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
signals.ml 29aa9857ea Change my contact address 9 years ago
signals.mli 29aa9857ea Change my contact address 9 years ago
src_org.svg 09268679c1 Add source explanation, to help contributors 9 years ago
state.ml 29aa9857ea Change my contact address 9 years ago
tmp_biniou.atd 29aa9857ea Change my contact address 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 29aa9857ea Change my contact address 9 years ago
tmp_file.mli 29aa9857ea Change my contact address 9 years ago
tools.ml 29aa9857ea Change my contact address 9 years ago
tools.mli 29aa9857ea Change my contact address 9 years ago
unify.ml 29aa9857ea Change my contact address 9 years ago
unify.mli 29aa9857ea Change my contact address 9 years ago

README.md

Source organisation

Where to start

In order of execution, the first file to be read is oclaunch.ml. From this is called command line argument parsing (in command_def.ml). Then, all is organised in modules, i.e. one file grouping functions used for a given functionality.

Source organisation scheme

General work

The general idea is that we read the rc file, adapt it to tmp file and do what the user asked. It can be an editing on the rc file or a launching of the next command.

To Infinity and Beyond

To find your way in modules, read comments explaining the goal of it.
It's at the start of the file, just after the licence header.