Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-12-01 | Fix minor error in maweb documentationv0.1 | cbdev | 1 | -1/+1 |
2019-09-20 | Update documentation, fix minor leaks | cbdev | 1 | -6/+7 |
2019-09-18 | Fix maweb command key handling | cbdev | 1 | -25/+51 |
2019-08-31 | Update documentation | cbdev | 1 | -0/+2 |
2019-08-23 | Finalize & publish maweb backend | cbdev | 1 | -5/+1 |
2019-08-22 | Try to fix failing build by providing additional hints to MacOS | cbdev | 1 | -2/+2 |
2019-08-22 | Implement input for the maweb backend (with a few limitations) | cbdev | 1 | -14/+22 |
2019-08-17 | Hopefully clarify text a bit | cbdev | 1 | -1/+1 |
2019-08-16 | Implement dot2 specific workarounds | cbdev | 1 | -8/+27 |
2019-08-15 | Fix CI, add dot2 detection to maweb | cbdev | 1 | -68/+13 |
2019-08-12 | Placate spellintian... | cbdev | 1 | -1/+1 |
2019-08-12 | Fix maweb button execs | cbdev | 1 | -2/+4 |
2019-08-11 | Minor text fix | cbdev | 1 | -2/+2 |
2019-08-11 | Initial maweb backend | cbdev | 1 | -0/+142 |