isabelle-utils/isabelle-proto, branch master attempts at improving isabelle tooling outside jedit actually usable code structure for isabelle-proto 2021-10-26T16:13:50+00:00 stuebinm 2021-10-26T16:13:50+00:00 e7427d5c67c0a90c369adecb4b0c65c043cb2e34 






better code structure for isabelle-proto
2021-10-26T16:04:16+00:00

stuebinm

2021-10-26T16:04:16+00:00

4c6d323ad1536e9ef6082eb34d872ccae1f389ef












slightly less hacky proof of concept
2021-10-26T15:47:29+00:00

stuebinm

2021-10-26T15:47:29+00:00

c6090f4b7fe238c34d4e15ceda0f1d9812a54276












proof of concept: talking to `isabelle server`
2021-09-21T20:50:24+00:00

stuebinm

2021-09-21T20:25:59+00:00

5a021caf3ff516c110571bfb4485e833ba8b1d06

for now this just checks a file given on the command line, and panics if
anything at all goes wrong.





for now this just checks a file given on the command line, and panics if
anything at all goes wrong.