 Leo
|
33a2c283df
Version 0.3.0-pre1
|
9 年之前 |
|
Leo
|
a7c1de734a
Remove execution right of some file
|
9 年之前 |
|
Leo
|
e0f93b3fbd
Limit length of the commit id in produced archive
|
9 年之前 |
|
Leo
|
1ba268473b
Using gpg2, works better with gpg-agent
|
9 年之前 |
|
Leo
|
d65b0fe6b4
Add checksum computation to signing script
|
9 年之前 |
|
Leo
|
7db5623319
Fix signing script
|
9 年之前 |
|
Leo
|
aaa0b0cbc9
Highlight in CHANGELOG
|
9 年之前 |
|
Leo
|
bd5b868ad5
Add dots for consistency in CHANGELOG
|
9 年之前 |
|
Leo
|
156a12a24b
Correct indent in CHANGELOG
|
9 年之前 |
|
Leo
|
070473917c
Add related issues in CHANGELOG
|
9 年之前 |
|
Leo
|
b190ad8b04
Describe the version globally
|
9 年之前 |
|
Leo
|
7881d3fcae
Ordered entries in CHANGELOG
|
9 年之前 |
|
Leo
|
2dffdd12b1
Merge branch 'readme' into dev
|
9 年之前 |
|
Leo
|
8205a14fda
Update CHANGELOG
|
9 年之前 |
|
Leo
|
6f2913e147
Improve README file with oasis setup
|
9 年之前 |
|
Leo
|
d02b40a32a
Update shield's OCaml address
|
9 年之前 |
|
Leo
|
fba7540afa
Add the complete example of ocla.ml page
|
9 年之前 |
|
Leo
|
d8d119aaa6
Further add space between shields and text
|
9 年之前 |
|
Leo
|
1058729119
Better formating, using direct paragraph
|
9 年之前 |
|
Leo
|
b104353175
Add space to have greater result
|
9 年之前 |
|
Leo
|
e0d5d2c9de
Add link to the website as a child
|
9 年之前 |
|
Leo
|
0fbc73f895
Change images, to keep to most important ones
|
9 年之前 |
|
Leo
|
4b0d452829
Trying to add some of the images of ocla.ml
|
9 年之前 |
|
Leo
|
52540135b9
Trying to improve README
|
9 年之前 |
|
Leo
|
4849b9e01d
Run oasis setup
|
9 年之前 |
|
Leo
|
3daa647382
Change indentation settings
|
9 年之前 |
|
Leo
|
2cfe7b5991
Fix indentation of fix-indent.ml script
|
9 年之前 |
|
Leo
|
22248b316e
Fix issue of symlinks & ignored path in fix-indent.ml
|
9 年之前 |
|
Leo
|
9f73818181
Clean up Messages.ml file
|
9 年之前 |
|
Leo
|
e4bb457e8f
Merge branch 'without-core_exted' into dev
|
9 年之前 |
