isabelle-utils/isabelle2unicode/src, branch master
attempts at improving isabelle tooling outside jedit
isabelle2unicode: read from files, cli arguments
2026-01-20T16:53:44+00:00
stuebinm
2026-01-20T16:53:44+00:00
a44e60333135d9c10b1a0579693ea4c7a655fb05
crate name: util → isabelle2unicode
2021-09-04T14:07:30+00:00
stuebinm
2021-09-04T14:07:30+00:00
3e24f64d9652bebe49838f244f1e1bfa2cc45f17