Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2021-10-26 | better code structure for isabelle-proto | stuebinm | 3 | -135/+148 |
2021-10-26 | slightly less hacky proof of concept | stuebinm | 2 | -70/+145 |
2021-09-21 | proof of concept: talking to `isabelle server` | stuebinm | 2 | -0/+326 |