Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2021-09-21 | proof of concept: talking to `isabelle server` | stuebinm | 1 | -0/+312 | |
for now this just checks a file given on the command line, and panics if anything at all goes wrong. |
index : isabelle-utils | ||
attempts at improving isabelle tooling outside jedit |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2021-09-21 | proof of concept: talking to `isabelle server` | stuebinm | 1 | -0/+312 | |
for now this just checks a file given on the command line, and panics if anything at all goes wrong. |