logicalhacking-zsh/plugins/isabelle
Achim D. Brucker 8d16d4c1d7 Added SPDIX license identifier. 2017-12-04 22:50:11 +00:00
..
isabelle.plugin.zsh Added SPDIX license identifier. 2017-12-04 22:50:11 +00:00