Age | Commit message (Expand) | 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 |