Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-10-11 | add bootstrap script | Florian Dold | |
2019-04-20 | improve landing docu and build system (#5693)demo-2019-08-31-00 | Christian Grothoff | |
2017-06-02 | rearranging the whole repository into docs/ and demo/ subdirectories. | Marcello Stanisci | |
2016-09-03 | README: fix typo. | Hartmut Goebel | |
2016-09-03 | README: Add short instructions how to build. | Hartmut Goebel | |
2016-02-29 | move landing page to demo repository | Florian Dold | |