| .. |
|
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/jedit: update goto-error macro
|
2025-06-13 13:20:24 +10: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/thydeps: correct regexp escape
|
2024-10-11 09:41:35 +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 |
c1ff5273bb