summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* slightly less hacky proof of conceptstuebinm2021-10-262-70/+145
* proof of concept: talking to `isabelle server`stuebinm2021-09-215-21/+632
* update readmestuebinm2021-09-041-54/+33
* restructure nix stuffstuebinm2021-09-044-13/+24
* isabat: move into /bin dir in packagestuebinm2021-09-041-1/+2
* update nix sourcesstuebinm2021-09-042-7/+7
* add some sanity checks to isabatstuebinm2021-09-042-1/+19
* add isabat scriptstuebinm2021-09-042-0/+34
* package name: isabelle-dump → isabelle-unicodestuebinm2021-09-041-1/+1
* crate name: util → isabelle2unicodestuebinm2021-09-043-2/+2
* basic sublime text highlighter syntax (for bat)stuebinm2021-09-041-0/+47
* somewhat pointless generalisation of a type signaturestuebinm2021-09-031-5/+7
* remove grmtoolsstuebinm2021-09-0313-1076/+124
* add nix derivationstuebinm2021-06-234-0/+221
* initial commitstuebinm2021-06-2316-0/+1699