 Parent Directory
|
|
|
|
|
Makefile
|
56
|
7 years |
berke-guest |
Reusing makefiles. Build-depends: m4. |
|
cli.ml
|
236
|
5 years |
danchev-guest |
cli: don't use heap compaction in non-interactive mode |
|
cli.mli
|
60
|
7 years |
berke-guest |
Added .mlis. |
|
config.ml
|
16
|
7 years |
berke-guest |
Move restriction, grr. |
|
config.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
|
debug.ml
|
38
|
7 years |
berke-guest |
In Ledit: home, page up, page down, end. In CLI:
show virtual and resident size… |
|
debug.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
|
dump.ml
|
38
|
7 years |
berke-guest |
In Ledit: home, page up, page down, end. In CLI:
show virtual and resident size… |
|
dump.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
|
opt.ml
|
249
|
4 years |
danchev-guest |
make list default output style |
|
opt.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
|
pager.ml
|
74
|
7 years |
berke-guest |
Oops : cli -> ara in pager.ml |
|
pager.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
|
wrap.ml
|
38
|
7 years |
berke-guest |
In Ledit: home, page up, page down, end. In CLI:
show virtual and resident size… |
|
wrap.mli
|
46
|
7 years |
berke-guest |
Fixed database reloading problem in CLI. Added .mli files. |
