blob: 82b79e0ee3c371466df06b9244f688b4f70d5e51 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
Welcome to Lean!
The documentation for all Lean assets is inside the root of each directory.
For example, for Lean Touch you can find it in: "Lean/Touch/DOCUMENTATION.html".
Keep in mind the documentation is in HTML format, so you will need to open it in a web browser.
You can also open the documentation by clicking the "Documentation" icon at the top right of any Lean component.
Enjoy!
|
