isabelle-utils/symbolmacro/.gitignore, branch master attempts at improving isabelle tooling outside jedit initial commit 2021-06-23T16:20:26+00:00 stuebinm 2021-06-23T16:20:26+00:00 4513c6626a34f737482c102825be7c2ca1b43eff