..
autostop
run astyle on all C files in the repository
2020-04-19 13:50:17 +08:00
benchmark
licenses: convert license tags to SPDX
2020-03-13 14:38:24 +08:00
benchmark-isabelle
style: pep8 style for python files
2020-03-25 22:42:27 +11:00
bump
trivial: fix regexp string escape complaint
2024-07-18 21:45:39 +10:00
etc
readme/docs: update comments to Isabelle2020
2020-10-27 16:55:33 +10:00
filemerge
run astyle on all C files in the repository
2020-04-19 13:50:17 +08:00
fonts
Import release snapshot.
2014-07-14 21:32:44 +02:00
git-commit-emails
style: pep8 style for python files
2020-03-25 22:42:27 +11:00
jedit /macros
misc: goto-error jEdit macro: update for 2023
2023-10-06 14:29:15 +11:00
pysymbols
style: pep8 style for python files
2020-03-25 22:42:27 +11:00
regression
regression: tool for comparing session times
2022-04-13 13:35:24 +10:00
scripts
misc/scripts: remove Darwin cpp wrapper
2023-10-10 15:18:44 +11:00
search-replace
misc: Add search-replace.sh and README.md
2021-06-21 10:30:04 +10:00
stats
misc: repo check for sorry/fixme count
2022-05-30 13:54:55 +10:00
testboard
testboardpush: fix URL processing
2021-09-28 11:39:31 +10:00
vim
misc: support marginal comments in Vim syntax
2020-04-14 13:16:49 +08:00
zsh
style: pep8 style for python files
2020-03-25 22:42:27 +11:00
isa-common.mk
misc: remove obsolete BUILD_CACHE from isa-common.mk
2024-06-05 09:56:13 +10:00