isabelle-utils/isabelle2unicode, branch master
attempts at improving isabelle tooling outside jedit
https://stuebinm.eu/git/isabelle-utils/atom/isabelle2unicode?h=master
2026-01-20T16:53:44Z
isabelle2unicode: read from files, cli arguments
2026-01-20T16:53:44Z
stuebinm
2026-01-20T16:53:44Z
urn:sha1:a44e60333135d9c10b1a0579693ea4c7a655fb05
crate name: util → isabelle2unicode
2021-09-04T14:07:30Z
stuebinm
2021-09-04T14:07:30Z
urn:sha1:3e24f64d9652bebe49838f244f1e1bfa2cc45f17