 Leo
|
8205a14fda
Update CHANGELOG
|
vor 9 Jahren |
|
Leo
|
6f2913e147
Improve README file with oasis setup
|
vor 9 Jahren |
|
Leo
|
d02b40a32a
Update shield's OCaml address
|
vor 9 Jahren |
|
Leo
|
fba7540afa
Add the complete example of ocla.ml page
|
vor 9 Jahren |
|
Leo
|
d8d119aaa6
Further add space between shields and text
|
vor 9 Jahren |
|
Leo
|
1058729119
Better formating, using direct paragraph
|
vor 9 Jahren |
|
Leo
|
b104353175
Add space to have greater result
|
vor 9 Jahren |
|
Leo
|
e0d5d2c9de
Add link to the website as a child
|
vor 9 Jahren |
|
Leo
|
0fbc73f895
Change images, to keep to most important ones
|
vor 9 Jahren |
|
Leo
|
4b0d452829
Trying to add some of the images of ocla.ml
|
vor 9 Jahren |
|
Leo
|
52540135b9
Trying to improve README
|
vor 9 Jahren |
|
Leo
|
4849b9e01d
Run oasis setup
|
vor 9 Jahren |
|
Leo
|
6422f9a47a
Help url was sticked to an old version
|
vor 9 Jahren |
|
Leo
|
0262eaadce
Merge branch 'master' of gitlab.com:WzukW/oclaunch
|
vor 9 Jahren |
|
Leo
|
5fad722078
Starting to update to the new address of the website
|
vor 9 Jahren |
|
Leo
|
02a8b3751c
Correct problem with url
|
vor 9 Jahren |
|
Leo
|
28cddbe0fc
Add the code of conduct of the project
|
vor 9 Jahren |
|
Leo
|
672863bcd0
Merge gitlab.com:WzukW/oclaunch
|
vor 9 Jahren |
|
Leo
|
2118f4cde6
Add contribution guide, :zap: referring to the website
|
vor 9 Jahren |
|
Leo
|
1723cb8a5b
Add timer to see how long it was
|
vor 9 Jahren |
|
Leo
|
872d2796b1
Revert "Some stupid changes to test an online editor"
|
vor 9 Jahren |
|
leowzukw
|
202c2e671b
Some stupid changes to test an online editor
|
vor 9 Jahren |
|
Leo
|
b4403baa4f
Opam version is now being updated
|
vor 9 Jahren |
|
Leo
|
b8a1691966
Back to dev
|
vor 9 Jahren |
|
Leo
|
758ec3e0d7
Version 0.2.2
|
vor 9 Jahren |
|
Leo
|
2b3fd7aef4
Organised CHANGELOG
|
vor 9 Jahren |
|
Leo
|
4230f26862
Improve resetting: tips, way to roll back
|
vor 9 Jahren |
|
Leo
|
81e8d47c0a
Merge branch 'master' into dev
|
vor 9 Jahren |
|
Leo
|
e2f0bb55b6
Allow to set tmp file
|
vor 9 Jahren |
|
Leo
|
d2bb8106e5
Update TODO
|
vor 9 Jahren |
