 Leo
|
96826fbb99
Correct CI target
|
il y a 8 ans |
|
Leo
|
f6ca80afae
Update CI jobs
|
il y a 8 ans |
|
Leo
|
b90aaffea6
Merge branch 'improve_ci_with_docker' into newrc-format
|
il y a 8 ans |
|
Leo
|
7fc5e0eb0c
Merge branch 'improve_ci_with_docker' into dev
|
il y a 8 ans |
|
Leo
|
6fdb9656bd
Change tmp name to improve multi-user compatibility
|
il y a 8 ans |
|
Leo
|
bb52e6dae0
Adapt tmp_file module to new rc
|
il y a 8 ans |
|
Leo
|
9fe01055cf
Add function to create entry object
|
il y a 8 ans |
|
Leo
|
a1b855a411
Improved rc file methods
|
il y a 8 ans |
|
Leo
|
45d0825643
Remove Core_extended from merlin file
|
il y a 8 ans |
|
Leo
|
8ab3beab0e
Improve written rc file
|
il y a 8 ans |
|
Leo
|
f08aa2e4c7
Fix warning
|
il y a 8 ans |
|
Leo
|
374cab37b5
Implement write method
|
il y a 8 ans |
|
Leo
|
e87728d9d1
Start to rewrite rc file format
|
il y a 8 ans |
|
Leo
|
132d8d60a3
Clean up test
|
il y a 8 ans |
|
Leo
|
b4ef608636
Cosmetic improvements of _oasis
|
il y a 8 ans |
|
Leo
|
a68da8ea47
Prepare build system to use sexp ppx
|
il y a 8 ans |
|
Leo
|
1c2347758c
Replace lnch.ml by s.oclaunch.eu.org
|
il y a 8 ans |
|
Leo
|
7aefbadd04
Correct documentation
|
il y a 8 ans |
|
Leo
|
d0d7727d25
Update documentation
|
il y a 8 ans |
|
Leo
|
7ed7985240
Fix indent
|
il y a 8 ans |
|
Leo
|
4c59c35e7d
Add shorthand
|
il y a 8 ans |
|
Leo
|
da65332d47
Add ability to parse id sequences to subcommands
|
il y a 8 ans |
|
Leo
|
76303200d1
Whitespace error
|
il y a 8 ans |
|
Leo
|
e395020d21
Add simple correction of id sequences
|
il y a 8 ans |
|
Leo
|
49aea71db8
Improve documentation of add subcommand
|
il y a 8 ans |
|
Leo
|
3829ef1d44
Clean up id_parsing
|
il y a 8 ans |
|
Leo
|
3e0c75bb32
Hide some function of Id_parsing
|
il y a 8 ans |
|
Leo
|
ed0e3b1e74
Add test for id like 3-3
|
il y a 8 ans |
|
Leo
|
91c74d0b61
Add spying expressions
|
il y a 8 ans |
|
Leo
|
461835777d
Add reverse order interval
|
il y a 8 ans |
