Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
leon [2015/04/26 20:36] vkuncak |
leon [2015/04/26 20:37] vkuncak |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| **[[https://github.com/epfl-lara/leon]]** | **[[https://github.com/epfl-lara/leon]]** | ||
| - | The github repository contains the **documentation** that can be built in various formats, including in particular HTML. A snapshot of this documentation is also available from http://leon.epfl.ch, check http://leon.epfl.ch/doc/ . (The rest of this page may be largely subsumed by that documentation.) | + | The github repository contains the **documentation** that can be built in various formats, including in particular HTML. |
| + | |||
| + | A snapshot of this documentation is also available from http://leon.epfl.ch, check | ||
| + | |||
| + | http://leon.epfl.ch/doc/ | ||
| + | |||
| + | The rest of this page may be largely subsumed by that documentation. | ||
| ---- | ---- | ||