 Leo
|
8205a14fda
Update CHANGELOG
|
9 years ago |
|
Leo
|
6f2913e147
Improve README file with oasis setup
|
9 years ago |
|
Leo
|
d02b40a32a
Update shield's OCaml address
|
9 years ago |
|
Leo
|
fba7540afa
Add the complete example of ocla.ml page
|
9 years ago |
|
Leo
|
d8d119aaa6
Further add space between shields and text
|
9 years ago |
|
Leo
|
1058729119
Better formating, using direct paragraph
|
9 years ago |
|
Leo
|
b104353175
Add space to have greater result
|
9 years ago |
|
Leo
|
e0d5d2c9de
Add link to the website as a child
|
9 years ago |
|
Leo
|
0fbc73f895
Change images, to keep to most important ones
|
9 years ago |
|
Leo
|
4b0d452829
Trying to add some of the images of ocla.ml
|
9 years ago |
|
Leo
|
52540135b9
Trying to improve README
|
9 years ago |
|
Leo
|
4849b9e01d
Run oasis setup
|
9 years ago |
|
Leo
|
3daa647382
Change indentation settings
|
9 years ago |
|
Leo
|
2cfe7b5991
Fix indentation of fix-indent.ml script
|
9 years ago |
|
Leo
|
22248b316e
Fix issue of symlinks & ignored path in fix-indent.ml
|
9 years ago |
|
Leo
|
9f73818181
Clean up Messages.ml file
|
9 years ago |
|
Leo
|
e4bb457e8f
Merge branch 'without-core_exted' into dev
|
9 years ago |
|
Leo
|
1a61074d2c
Fix copyright date in _oasis
|
9 years ago |
|
Leo
|
f1b6de1da7
Finish to implement color parsing
|
9 years ago |
|
Leo
|
8c48493b04
Update CHANGELOG
|
9 years ago |
|
Leo
|
4211da0f74
Fix length of lines in CHANGELOG
|
9 years ago |
|
Leo
|
ca3c48cd0e
Update CHANGELOG
|
9 years ago |
|
Leo
|
2d730795f6
Auto-indent source files
|
9 years ago |
|
Leo
|
c9bee871d3
Add script to fix indentation in the source code
|
9 years ago |
|
Leo
|
c81e1418b9
Beautified duration message displayed at the end
|
9 years ago |
|
Leo
|
6b954c02bf
Update copyright date
|
9 years ago |
|
Leo
|
6422f9a47a
Help url was sticked to an old version
|
9 years ago |
|
Leo
|
290fd08630
Add link to license page of the website in the summary
|
9 years ago |
|
Leo
|
a902ccf59e
.back files are useless
|
9 years ago |
|
Leo
|
fb5f6e085a
Add debugging info in clean command
|
9 years ago |
