Gerwin Klein 75acf19dcd style: pep8 style for python files		2020-03-25 22:42:27 +11:00
..
_isabelle	licenses: convert license tags to SPDX	2020-03-13 14:38:24 +08:00
isabelle_session_names.py	style: pep8 style for python files	2020-03-25 22:42:27 +11:00