isabelle-utils - attempts at improving isabelle tooling outside jedit

index : isabelle-utils

attempts at improving isabelle tooling outside jedit

summary refs log tree commit diff

Branch	Commit message	Author	Age
master	isabelle2unicode: read from files, cli arguments	stuebinm	9 days

generated by cgit v1.2.3 (git 2.25.1) at 2026-01-29 18:17:39 +0000