Commit graph

43 commits

Author SHA1 Message Date
Kakadu
0ccc1c6e7d Minor polishing
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Roman Venediktov
84a90d1ff3 Fix commands README 2024-07-11 15:19:22 +02:00
Roman Venediktov
c355cd5018 Remove redundant command from README.md 2024-07-11 15:19:22 +02:00
Roman Venediktov
5e22304a58 Spec updated 2024-07-11 15:19:22 +02:00
Roman Venediktov
feb1eb600c Change link to the correct plugin 2024-07-11 15:19:22 +02:00
Roman Venediktov
acc697206e Update README.md for 1.3 version 2024-07-11 15:19:22 +02:00
Danya Berezun
3402afdb2b add changelog ) 2023-10-04 09:56:31 +02:00
Danya Berezun
1fb2013454 add links to VS Code plugin 2023-10-04 09:39:20 +02:00
Danya Berezun
c21d51f3c5 upd REAME: upd versions 2023-10-04 09:36:30 +02:00
danyaberezun
413ab65b1f fix installation guide, fix some spells, update README 2023-02-01 15:43:28 +02:00
Dmitrii Kosarev
2b4a9fef9e
README: update switch creation command 2022-09-10 14:42:23 +00:00
Kakadu
a9e97ed957 README.md: Fix installation instructions
Mention Lama instead of Lama-devel

Signed-off-by: Kakadu <Kakadu@pm.me>
2022-02-15 01:25:10 +03:00
Kakadu
137207a6d9 Use SVG LaMa icon instead of PNG
Because PNG is not scalable and looks ugly.
The actual SVG was generated using https://viereck.ch/latex-to-svg/ from
the following LaTeX code:

\lambda\kern -.1667em\lower -.5ex\hbox{$a$}\kern -.1000em\lower .2ex\hbox{$\mathcal M$}\kern -.1000em\lower -.5ex\hbox{$a$}

Signed-off-by: Kakadu <Kakadu@pm.me>
2022-02-15 00:49:53 +03:00
Dmitrii Kosarev
07a131a31d
Readme: add badges for Lama-devel 2022-02-14 21:03:35 +00:00
Dmitrii Kosarev
901aecfc09
Update README.md: repair build badge
(s/lama-devel/lama)
2022-02-14 20:42:26 +00:00
Kakadu
c83b153a1d
Update README.md 2021-02-17 16:39:46 +00:00
Kakadu
9b3678f8bd Update compilation of tutorial and instruction in README
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-15 21:36:42 +03:00
Kakadu
107a2e2061
Update URLs in README 2021-02-14 17:17:39 +00:00
Kakadu
aba621a73b Mention depexts in README
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-13 11:46:01 +03:00
Kakadu
827e07522a Added initial CI workflow
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-13 01:34:31 +03:00
Kakadu
43af0d24f0 Update .gitignore files
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-12 22:27:52 +03:00
Kakadu
eaa03785ed Update README and opam files
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-12 22:27:52 +03:00
Dmitry Boulytchev
e44ca6b948 Fixed README yet again 2021-02-10 14:15:02 +03:00
Dmitry Boulytchev
3fe8d225c2 Fixed README 2021-02-10 14:14:10 +03:00
Dmitry Boulytchev
ee4b1d5aa2 Added version info in README 2020-02-26 15:43:42 +03:00
Dmitry Boulytchev
23005a8512 Better readme 2020-02-19 20:13:37 +03:00
Dmitry Boulytchev
f46d0f423c Spec 2020-02-19 20:11:58 +03:00
Dmitry Boulytchev
3b94e30eaa Better readme 2020-02-19 15:30:33 +03:00
Dmitry Boulytchev
b7271d167a Better md 2020-02-18 14:08:39 +03:00
Dmitry Boulytchev
5171f20dcc Better md 2020-02-18 14:07:39 +03:00
Dmitry Boulytchev
0b9b27770a Better md 2020-02-18 14:00:13 +03:00
Dmitry Boulytchev
d35e193742 Better md 2020-02-18 13:54:07 +03:00
Dmitry Boulytchev
43958ce0e8 Better md 2020-02-18 13:51:35 +03:00
Dmitry Boulytchev
4aee344a4e Better md 2020-02-18 13:49:38 +03:00
Dmitry Boulytchev
6a47e295f4 Better md 2020-02-18 13:47:33 +03:00
Dmitry Boulytchev
616e0459c9 Better md 2020-02-18 13:42:04 +03:00
Dmitry Boulytchev
89a7b5ffd1 Better md 2020-02-18 13:39:53 +03:00
Dmitry Boulytchev
2dca164af6 Better md 2020-02-18 13:38:13 +03:00
Dmitry Boulytchev
6279f44f71 Fixed README yet again 2018-11-07 15:05:36 +03:00
Dmitry Boulytchev
d575f2ca15 Fixed README 2018-11-07 15:05:01 +03:00
Anton Podkopaev
142a4ad403
Update README.md 2018-02-19 17:22:55 +03:00
Dmitry Boulytchev
56698c1b64 Added README.md 2018-02-14 15:58:05 +03:00
Dmitry Boulytchev
6f44f0f27e
Initial commit 2018-02-13 01:39:16 +03:00