|
Mar 12, 2025
—
Mar 12, 2026
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| typos |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| continue translation |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| continue web site |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| improve web style; begin translation; add version option ; add script to create release |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| improve web style; begin translation; add version option ; add script to create release |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| improve web style; begin translation; add version option ; add script to create release |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| better style |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add headers |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add README and other files |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add example |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add .mli files |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add .mlis |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add odb_tools.mli |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add interface |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add comments |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add ignore filters |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add figure |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add doc generator, doc command, more doc in website |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| more doc |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| mv doc->web |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| some more |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| begin web site |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add target for ocamldoc generation |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| keep connection to remote tool alive |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| improve error handling |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| strip located messages |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| fix parsing of located messages |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add trace |
zoggy
as Maxence Guesdon
|
More... | over 14 years ago | |||
| add Odb_misc.parse_located_messages |
zoggy
as Maxence Guesdon
|
More... | almost 15 years ago | |||
| add Odb_misc.parse_located_messages |
zoggy
as Maxence Guesdon
|
More... | almost 15 years ago | |||