| .. |
|
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: misc/bump/README update
|
2021-08-16 17:06:52 +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
|
Renamed Word_Lib shipped by AutoCorres to Word_Lib_l4v to avoid a name clash with the AFP entry of same name.
|
2024-01-27 13:44:24 +00:00 |
|
scripts
|
Keeping cpp script for the moment.
|
2024-01-27 13:45:36 +00: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
|
licenses: convert license tags to SPDX
|
2020-03-13 14:38:24 +08:00 |
Achim D. Brucker
ed98ff7b35