Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-23 | Finalize & publish maweb backend | cbdev | 1 | -38/+54 |
2019-08-22 | Update travis dependencies | cbdev | 1 | -1/+0 |
2019-08-22 | Implement input for the maweb backend (with a few limitations) | cbdev | 1 | -60/+298 |
2019-08-17 | Fix exec indexing | cbdev | 1 | -5/+0 |
2019-08-16 | Implement dot2 specific workarounds | cbdev | 1 | -8/+8 |
2019-08-15 | Fix CI, add dot2 detection to maweb | cbdev | 1 | -0/+7 |
2019-08-12 | Placate spellintian... | cbdev | 1 | -1/+1 |
2019-08-12 | Fix maweb button execs | cbdev | 1 | -1/+26 |
2019-08-11 | Initial maweb backend | cbdev | 1 | -0/+695 |