Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-12-04 | Explicitly mark the backend init symbol visible | cbdev | 1 | -1/+1 |
2019-08-22 | Implement input for the maweb backend (with a few limitations) | cbdev | 1 | -1/+2 |
2019-08-10 | Clean up & check unions | cbdev | 1 | -0/+10 |
2018-03-02 | Move backend implementations to subdirectory | cbdev | 1 | -0/+17 |