Ben Siraphob d53846e29e Merge pull request #130583 from jvanbruegge/isabelle2021 ... Isabelle: 2020 -> 2021		2021-07-19 20:56:48 +07:00
..
manual	Merge pull request #130583 from jvanbruegge/isabelle2021	2021-07-19 20:56:48 +07:00
varlistentry-fixer.rb
xmlformat.conf