| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-12-08 | Update doc/index page | John J. Camilleri |
| 2018-11-28 | Merge branch 'master' into new-website | John J. Camilleri |
| 2018-11-27 | Remove faq. Update people page. Add SS to news. | John J. Camilleri |
| 2018-11-15 | Remove `src/ui` folder, moved to: | John J. Camilleri |
| 2018-11-08 | Add download/index.md as demo of working Markdown rendering to HTML | John J. Camilleri |
| 2018-11-03 | Add stack file, using image for GHC 8.2.2 | John J. Camilleri |
| 2018-07-25 | [GF Split] Post-split updates | John J. Camilleri |
| 2017-11-27 | Add cabal sandbox files to .gitignore | John J. Camilleri |
| 2017-08-21 | Merge remote-tracking branch 'remotes/upstream/master' | Ayberk Tosun |
| 2017-08-21 | added .gitignore | Krasimir Angelov |
| 2017-08-21 | Add *.gfo to gitignore | Ayberk Tosun |
