| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-11-25 | Tidy up | Laurenz | |
| 2022-11-24 | Protect Vm | Laurenz | |
| 2022-11-23 | Introduce `Library` | Laurenz | |
| 2022-11-23 | More general evaluation interface | Laurenz | |
| 2022-11-03 | Split crates | Laurenz | |
| 2022-11-02 | More dynamic content representation | Laurenz | |
| 2022-10-31 | Reduce usage of `finalize` | Laurenz | |
| 2022-10-31 | Rename `RoleMap` to `LangItems` | Laurenz | |
| 2022-10-18 | Reduce dependencies from compiler on library | Laurenz | |
| 2022-10-17 | Merge some modules | Laurenz | |
