mirror of
https://github.com/dense-analysis/ale.git
synced 2025-12-08 05:24:46 +08:00
Fix the table of contents
This commit is contained in:
362
doc/ale.txt
362
doc/ale.txt
@@ -48,366 +48,6 @@ ALE supports the following key features for linting:
|
|||||||
5. Setting |signs| with warnings and errors for error markers.
|
5. Setting |signs| with warnings and errors for error markers.
|
||||||
6. Using |echo| to show error messages when the cursor moves.
|
6. Using |echo| to show error messages when the cursor moves.
|
||||||
7. Setting syntax highlights for errors.
|
7. Setting syntax highlights for errors.
|
||||||
ada...................................|ale-ada-options|
|
|
||||||
gcc.................................|ale-ada-gcc|
|
|
||||||
ansible...............................|ale-ansible-options|
|
|
||||||
ansible-lint........................|ale-ansible-ansible-lint|
|
|
||||||
asciidoc..............................|ale-asciidoc-options|
|
|
||||||
write-good..........................|ale-asciidoc-write-good|
|
|
||||||
textlint............................|ale-asciidoc-textlint|
|
|
||||||
asm...................................|ale-asm-options|
|
|
||||||
gcc.................................|ale-asm-gcc|
|
|
||||||
awk...................................|ale-awk-options|
|
|
||||||
gawk................................|ale-awk-gawk|
|
|
||||||
bib...................................|ale-bib-options|
|
|
||||||
bibclean............................|ale-bib-bibclean|
|
|
||||||
c.....................................|ale-c-options|
|
|
||||||
clang...............................|ale-c-clang|
|
|
||||||
clangd..............................|ale-c-clangd|
|
|
||||||
clang-format........................|ale-c-clangformat|
|
|
||||||
clangtidy...........................|ale-c-clangtidy|
|
|
||||||
cppcheck............................|ale-c-cppcheck|
|
|
||||||
cquery..............................|ale-c-cquery|
|
|
||||||
flawfinder..........................|ale-c-flawfinder|
|
|
||||||
gcc.................................|ale-c-gcc|
|
|
||||||
uncrustify..........................|ale-c-uncrustify|
|
|
||||||
ccls................................|ale-c-ccls|
|
|
||||||
chef..................................|ale-chef-options|
|
|
||||||
foodcritic..........................|ale-chef-foodcritic|
|
|
||||||
clojure...............................|ale-clojure-options|
|
|
||||||
joker...............................|ale-clojure-joker|
|
|
||||||
cloudformation........................|ale-cloudformation-options|
|
|
||||||
cfn-python-lint.....................|ale-cloudformation-cfn-python-lint|
|
|
||||||
cmake.................................|ale-cmake-options|
|
|
||||||
cmakelint...........................|ale-cmake-cmakelint|
|
|
||||||
cmake-format........................|ale-cmake-cmakeformat|
|
|
||||||
cpp...................................|ale-cpp-options|
|
|
||||||
clang...............................|ale-cpp-clang|
|
|
||||||
clangd..............................|ale-cpp-clangd|
|
|
||||||
clangcheck..........................|ale-cpp-clangcheck|
|
|
||||||
clang-format........................|ale-cpp-clangformat|
|
|
||||||
clangtidy...........................|ale-cpp-clangtidy|
|
|
||||||
clazy...............................|ale-cpp-clazy|
|
|
||||||
cppcheck............................|ale-cpp-cppcheck|
|
|
||||||
cpplint.............................|ale-cpp-cpplint|
|
|
||||||
cquery..............................|ale-cpp-cquery|
|
|
||||||
flawfinder..........................|ale-cpp-flawfinder|
|
|
||||||
gcc.................................|ale-cpp-gcc|
|
|
||||||
uncrustify..........................|ale-cpp-uncrustify|
|
|
||||||
ccls................................|ale-cpp-ccls|
|
|
||||||
c#....................................|ale-cs-options|
|
|
||||||
mcs.................................|ale-cs-mcs|
|
|
||||||
mcsc................................|ale-cs-mcsc|
|
|
||||||
uncrustify..........................|ale-cs-uncrustify|
|
|
||||||
css...................................|ale-css-options|
|
|
||||||
prettier............................|ale-css-prettier|
|
|
||||||
stylelint...........................|ale-css-stylelint|
|
|
||||||
cuda..................................|ale-cuda-options|
|
|
||||||
nvcc................................|ale-cuda-nvcc|
|
|
||||||
clang-format........................|ale-cuda-clangformat|
|
|
||||||
d.....................................|ale-d-options|
|
|
||||||
dls.................................|ale-d-dls|
|
|
||||||
uncrustify..........................|ale-d-uncrustify|
|
|
||||||
dart..................................|ale-dart-options|
|
|
||||||
dartanalyzer........................|ale-dart-dartanalyzer|
|
|
||||||
dartfmt.............................|ale-dart-dartfmt|
|
|
||||||
dockerfile............................|ale-dockerfile-options|
|
|
||||||
dockerfile_lint.....................|ale-dockerfile-dockerfile_lint|
|
|
||||||
hadolint............................|ale-dockerfile-hadolint|
|
|
||||||
elixir................................|ale-elixir-options|
|
|
||||||
mix.................................|ale-elixir-mix|
|
|
||||||
mix_format..........................|ale-elixir-mix-format|
|
|
||||||
dialyxir............................|ale-elixir-dialyxir|
|
|
||||||
elixir-ls...........................|ale-elixir-elixir-ls|
|
|
||||||
credo...............................|ale-elixir-credo|
|
|
||||||
elm...................................|ale-elm-options|
|
|
||||||
elm-format..........................|ale-elm-elm-format|
|
|
||||||
elm-lsp.............................|ale-elm-elm-lsp|
|
|
||||||
elm-make............................|ale-elm-elm-make|
|
|
||||||
erlang................................|ale-erlang-options|
|
|
||||||
erlc................................|ale-erlang-erlc|
|
|
||||||
syntaxerl...........................|ale-erlang-syntaxerl|
|
|
||||||
eruby.................................|ale-eruby-options|
|
|
||||||
ruumba..............................|ale-eruby-ruumba|
|
|
||||||
fish..................................|ale-fish-options|
|
|
||||||
fortran...............................|ale-fortran-options|
|
|
||||||
gcc.................................|ale-fortran-gcc|
|
|
||||||
language_server.....................|ale-fortran-language-server|
|
|
||||||
fountain..............................|ale-fountain-options|
|
|
||||||
fusionscript..........................|ale-fuse-options|
|
|
||||||
fusion-lint.........................|ale-fuse-fusionlint|
|
|
||||||
git commit............................|ale-gitcommit-options|
|
|
||||||
gitlint.............................|ale-gitcommit-gitlint|
|
|
||||||
glsl..................................|ale-glsl-options|
|
|
||||||
glslang.............................|ale-glsl-glslang|
|
|
||||||
glslls..............................|ale-glsl-glslls|
|
|
||||||
go....................................|ale-go-options|
|
|
||||||
gobuild.............................|ale-go-gobuild|
|
|
||||||
gofmt...............................|ale-go-gofmt|
|
|
||||||
golint..............................|ale-go-golint|
|
|
||||||
govet...............................|ale-go-govet|
|
|
||||||
gometalinter........................|ale-go-gometalinter|
|
|
||||||
staticcheck.........................|ale-go-staticcheck|
|
|
||||||
golangserver........................|ale-go-golangserver|
|
|
||||||
golangci-lint.......................|ale-go-golangci-lint|
|
|
||||||
bingo...............................|ale-go-bingo|
|
|
||||||
graphql...............................|ale-graphql-options|
|
|
||||||
eslint..............................|ale-graphql-eslint|
|
|
||||||
gqlint..............................|ale-graphql-gqlint|
|
|
||||||
prettier............................|ale-graphql-prettier|
|
|
||||||
hack..................................|ale-hack-options|
|
|
||||||
hack................................|ale-hack-hack|
|
|
||||||
hackfmt.............................|ale-hack-hackfmt|
|
|
||||||
hhast...............................|ale-hack-hhast|
|
|
||||||
handlebars............................|ale-handlebars-options|
|
|
||||||
ember-template-lint.................|ale-handlebars-embertemplatelint|
|
|
||||||
haskell...............................|ale-haskell-options|
|
|
||||||
brittany............................|ale-haskell-brittany|
|
|
||||||
ghc.................................|ale-haskell-ghc|
|
|
||||||
ghc-mod.............................|ale-haskell-ghc-mod|
|
|
||||||
cabal-ghc...........................|ale-haskell-cabal-ghc|
|
|
||||||
hdevtools...........................|ale-haskell-hdevtools|
|
|
||||||
hfmt................................|ale-haskell-hfmt|
|
|
||||||
hlint...............................|ale-haskell-hlint|
|
|
||||||
stack-build.........................|ale-haskell-stack-build|
|
|
||||||
stack-ghc...........................|ale-haskell-stack-ghc|
|
|
||||||
stylish-haskell.....................|ale-haskell-stylish-haskell|
|
|
||||||
hie.................................|ale-haskell-hie|
|
|
||||||
hcl...................................|ale-hcl-options|
|
|
||||||
terraform-fmt.......................|ale-hcl-terraform-fmt|
|
|
||||||
html..................................|ale-html-options|
|
|
||||||
htmlhint............................|ale-html-htmlhint|
|
|
||||||
tidy................................|ale-html-tidy|
|
|
||||||
prettier............................|ale-html-prettier|
|
|
||||||
stylelint...........................|ale-html-stylelint|
|
|
||||||
write-good..........................|ale-html-write-good|
|
|
||||||
idris.................................|ale-idris-options|
|
|
||||||
idris...............................|ale-idris-idris|
|
|
||||||
ispc..................................|ale-ispc-options|
|
|
||||||
ispc................................|ale-ispc-ispc|
|
|
||||||
java..................................|ale-java-options|
|
|
||||||
checkstyle..........................|ale-java-checkstyle|
|
|
||||||
javac...............................|ale-java-javac|
|
|
||||||
google-java-format..................|ale-java-google-java-format|
|
|
||||||
pmd.................................|ale-java-pmd|
|
|
||||||
javalsp.............................|ale-java-javalsp|
|
|
||||||
uncrustify..........................|ale-java-uncrustify|
|
|
||||||
javascript............................|ale-javascript-options|
|
|
||||||
eslint..............................|ale-javascript-eslint|
|
|
||||||
flow................................|ale-javascript-flow|
|
|
||||||
importjs............................|ale-javascript-importjs|
|
|
||||||
jscs................................|ale-javascript-jscs|
|
|
||||||
jshint..............................|ale-javascript-jshint|
|
|
||||||
prettier............................|ale-javascript-prettier|
|
|
||||||
prettier-eslint.....................|ale-javascript-prettier-eslint|
|
|
||||||
prettier-standard...................|ale-javascript-prettier-standard|
|
|
||||||
standard............................|ale-javascript-standard|
|
|
||||||
xo..................................|ale-javascript-xo|
|
|
||||||
json..................................|ale-json-options|
|
|
||||||
fixjson.............................|ale-json-fixjson|
|
|
||||||
jsonlint............................|ale-json-jsonlint|
|
|
||||||
jq..................................|ale-json-jq|
|
|
||||||
prettier............................|ale-json-prettier|
|
|
||||||
julia.................................|ale-julia-options|
|
|
||||||
languageserver......................|ale-julia-languageserver|
|
|
||||||
kotlin................................|ale-kotlin-options|
|
|
||||||
kotlinc.............................|ale-kotlin-kotlinc|
|
|
||||||
ktlint..............................|ale-kotlin-ktlint|
|
|
||||||
languageserver......................|ale-kotlin-languageserver|
|
|
||||||
latex.................................|ale-latex-options|
|
|
||||||
write-good..........................|ale-latex-write-good|
|
|
||||||
textlint............................|ale-latex-textlint|
|
|
||||||
less..................................|ale-less-options|
|
|
||||||
lessc...............................|ale-less-lessc|
|
|
||||||
prettier............................|ale-less-prettier|
|
|
||||||
stylelint...........................|ale-less-stylelint|
|
|
||||||
llvm..................................|ale-llvm-options|
|
|
||||||
llc.................................|ale-llvm-llc|
|
|
||||||
lua...................................|ale-lua-options|
|
|
||||||
luac................................|ale-lua-luac|
|
|
||||||
luacheck............................|ale-lua-luacheck|
|
|
||||||
markdown..............................|ale-markdown-options|
|
|
||||||
mdl.................................|ale-markdown-mdl|
|
|
||||||
prettier............................|ale-markdown-prettier|
|
|
||||||
remark-lint.........................|ale-markdown-remark-lint|
|
|
||||||
textlint............................|ale-markdown-textlint|
|
|
||||||
write-good..........................|ale-markdown-write-good|
|
|
||||||
mercury...............................|ale-mercury-options|
|
|
||||||
mmc.................................|ale-mercury-mmc|
|
|
||||||
nasm..................................|ale-nasm-options|
|
|
||||||
nasm................................|ale-nasm-nasm|
|
|
||||||
nroff.................................|ale-nroff-options|
|
|
||||||
write-good..........................|ale-nroff-write-good|
|
|
||||||
objc..................................|ale-objc-options|
|
|
||||||
clang...............................|ale-objc-clang|
|
|
||||||
clangd..............................|ale-objc-clangd|
|
|
||||||
uncrustify..........................|ale-objc-uncrustify|
|
|
||||||
ccls................................|ale-objc-ccls|
|
|
||||||
objcpp................................|ale-objcpp-options|
|
|
||||||
clang...............................|ale-objcpp-clang|
|
|
||||||
clangd..............................|ale-objcpp-clangd|
|
|
||||||
uncrustify..........................|ale-objcpp-uncrustify|
|
|
||||||
ocaml.................................|ale-ocaml-options|
|
|
||||||
merlin..............................|ale-ocaml-merlin|
|
|
||||||
ols.................................|ale-ocaml-ols|
|
|
||||||
ocamlformat.........................|ale-ocaml-ocamlformat|
|
|
||||||
pawn..................................|ale-pawn-options|
|
|
||||||
uncrustify..........................|ale-pawn-uncrustify|
|
|
||||||
perl..................................|ale-perl-options|
|
|
||||||
perl................................|ale-perl-perl|
|
|
||||||
perlcritic..........................|ale-perl-perlcritic|
|
|
||||||
perltidy............................|ale-perl-perltidy|
|
|
||||||
perl6.................................|ale-perl6-options|
|
|
||||||
perl6...............................|ale-perl6-perl6|
|
|
||||||
php...................................|ale-php-options|
|
|
||||||
langserver..........................|ale-php-langserver|
|
|
||||||
phan................................|ale-php-phan|
|
|
||||||
phpcbf..............................|ale-php-phpcbf|
|
|
||||||
phpcs...............................|ale-php-phpcs|
|
|
||||||
phpmd...............................|ale-php-phpmd|
|
|
||||||
phpstan.............................|ale-php-phpstan|
|
|
||||||
psalm...............................|ale-php-psalm|
|
|
||||||
php-cs-fixer........................|ale-php-php-cs-fixer|
|
|
||||||
php.................................|ale-php-php|
|
|
||||||
po....................................|ale-po-options|
|
|
||||||
write-good..........................|ale-po-write-good|
|
|
||||||
pod...................................|ale-pod-options|
|
|
||||||
write-good..........................|ale-pod-write-good|
|
|
||||||
pony..................................|ale-pony-options|
|
|
||||||
ponyc...............................|ale-pony-ponyc|
|
|
||||||
powershell............................|ale-powershell-options|
|
|
||||||
psscriptanalyzer....................|ale-powershell-psscriptanalyzer|
|
|
||||||
prolog................................|ale-prolog-options|
|
|
||||||
swipl...............................|ale-prolog-swipl|
|
|
||||||
proto.................................|ale-proto-options|
|
|
||||||
protoc-gen-lint.....................|ale-proto-protoc-gen-lint|
|
|
||||||
pug...................................|ale-pug-options|
|
|
||||||
puglint.............................|ale-pug-puglint|
|
|
||||||
puppet................................|ale-puppet-options|
|
|
||||||
puppet..............................|ale-puppet-puppet|
|
|
||||||
puppetlint..........................|ale-puppet-puppetlint|
|
|
||||||
puppet-languageserver...............|ale-puppet-languageserver|
|
|
||||||
pyrex (cython)........................|ale-pyrex-options|
|
|
||||||
cython..............................|ale-pyrex-cython|
|
|
||||||
python................................|ale-python-options|
|
|
||||||
autopep8............................|ale-python-autopep8|
|
|
||||||
bandit..............................|ale-python-bandit|
|
|
||||||
black...............................|ale-python-black|
|
|
||||||
flake8..............................|ale-python-flake8|
|
|
||||||
isort...............................|ale-python-isort|
|
|
||||||
mypy................................|ale-python-mypy|
|
|
||||||
prospector..........................|ale-python-prospector|
|
|
||||||
pycodestyle.........................|ale-python-pycodestyle|
|
|
||||||
pydocstyle..........................|ale-python-pydocstyle|
|
|
||||||
pyflakes............................|ale-python-pyflakes|
|
|
||||||
pylama..............................|ale-python-pylama|
|
|
||||||
pylint..............................|ale-python-pylint|
|
|
||||||
pyls................................|ale-python-pyls|
|
|
||||||
pyre................................|ale-python-pyre|
|
|
||||||
vulture.............................|ale-python-vulture|
|
|
||||||
yapf................................|ale-python-yapf|
|
|
||||||
qml...................................|ale-qml-options|
|
|
||||||
qmlfmt..............................|ale-qml-qmlfmt|
|
|
||||||
r.....................................|ale-r-options|
|
|
||||||
lintr...............................|ale-r-lintr|
|
|
||||||
reasonml..............................|ale-reasonml-options|
|
|
||||||
merlin..............................|ale-reasonml-merlin|
|
|
||||||
ols.................................|ale-reasonml-ols|
|
|
||||||
refmt...............................|ale-reasonml-refmt|
|
|
||||||
restructuredtext......................|ale-restructuredtext-options|
|
|
||||||
textlint............................|ale-restructuredtext-textlint|
|
|
||||||
write-good..........................|ale-restructuredtext-write-good|
|
|
||||||
ruby..................................|ale-ruby-options|
|
|
||||||
brakeman............................|ale-ruby-brakeman|
|
|
||||||
rails_best_practices................|ale-ruby-rails_best_practices|
|
|
||||||
reek................................|ale-ruby-reek|
|
|
||||||
rubocop.............................|ale-ruby-rubocop|
|
|
||||||
ruby................................|ale-ruby-ruby|
|
|
||||||
rufo................................|ale-ruby-rufo|
|
|
||||||
solargraph..........................|ale-ruby-solargraph|
|
|
||||||
standardrb..........................|ale-ruby-standardrb|
|
|
||||||
rust..................................|ale-rust-options|
|
|
||||||
cargo...............................|ale-rust-cargo|
|
|
||||||
rls.................................|ale-rust-rls|
|
|
||||||
rustc...............................|ale-rust-rustc|
|
|
||||||
rustfmt.............................|ale-rust-rustfmt|
|
|
||||||
sass..................................|ale-sass-options|
|
|
||||||
sasslint............................|ale-sass-sasslint|
|
|
||||||
stylelint...........................|ale-sass-stylelint|
|
|
||||||
scala.................................|ale-scala-options|
|
|
||||||
sbtserver...........................|ale-scala-sbtserver|
|
|
||||||
scalafmt............................|ale-scala-scalafmt|
|
|
||||||
scalastyle..........................|ale-scala-scalastyle|
|
|
||||||
scss..................................|ale-scss-options|
|
|
||||||
prettier............................|ale-scss-prettier|
|
|
||||||
sasslint............................|ale-scss-sasslint|
|
|
||||||
stylelint...........................|ale-scss-stylelint|
|
|
||||||
sh....................................|ale-sh-options|
|
|
||||||
sh-language-server..................|ale-sh-language-server|
|
|
||||||
shell...............................|ale-sh-shell|
|
|
||||||
shellcheck..........................|ale-sh-shellcheck|
|
|
||||||
shfmt...............................|ale-sh-shfmt|
|
|
||||||
sml...................................|ale-sml-options|
|
|
||||||
smlnj...............................|ale-sml-smlnj|
|
|
||||||
solidity..............................|ale-solidity-options|
|
|
||||||
solhint.............................|ale-solidity-solhint|
|
|
||||||
solium..............................|ale-solidity-solium|
|
|
||||||
spec..................................|ale-spec-options|
|
|
||||||
rpmlint.............................|ale-spec-rpmlint|
|
|
||||||
sql...................................|ale-sql-options|
|
|
||||||
sqlfmt..............................|ale-sql-sqlfmt|
|
|
||||||
stylus................................|ale-stylus-options|
|
|
||||||
stylelint...........................|ale-stylus-stylelint|
|
|
||||||
sugarss...............................|ale-sugarss-options|
|
|
||||||
stylelint...........................|ale-sugarss-stylelint|
|
|
||||||
tcl...................................|ale-tcl-options|
|
|
||||||
nagelfar............................|ale-tcl-nagelfar|
|
|
||||||
terraform.............................|ale-terraform-options|
|
|
||||||
fmt.................................|ale-terraform-fmt|
|
|
||||||
tflint..............................|ale-terraform-tflint|
|
|
||||||
tex...................................|ale-tex-options|
|
|
||||||
chktex..............................|ale-tex-chktex|
|
|
||||||
lacheck.............................|ale-tex-lacheck|
|
|
||||||
texinfo...............................|ale-texinfo-options|
|
|
||||||
write-good..........................|ale-texinfo-write-good|
|
|
||||||
text..................................|ale-text-options|
|
|
||||||
textlint............................|ale-text-textlint|
|
|
||||||
write-good..........................|ale-text-write-good|
|
|
||||||
thrift................................|ale-thrift-options|
|
|
||||||
thrift..............................|ale-thrift-thrift|
|
|
||||||
typescript............................|ale-typescript-options|
|
|
||||||
eslint..............................|ale-typescript-eslint|
|
|
||||||
prettier............................|ale-typescript-prettier|
|
|
||||||
tslint..............................|ale-typescript-tslint|
|
|
||||||
tsserver............................|ale-typescript-tsserver|
|
|
||||||
vala..................................|ale-vala-options|
|
|
||||||
uncrustify..........................|ale-vala-uncrustify|
|
|
||||||
verilog/systemverilog.................|ale-verilog-options|
|
|
||||||
iverilog............................|ale-verilog-iverilog|
|
|
||||||
verilator...........................|ale-verilog-verilator|
|
|
||||||
vlog................................|ale-verilog-vlog|
|
|
||||||
xvlog...............................|ale-verilog-xvlog|
|
|
||||||
vhdl..................................|ale-vhdl-options|
|
|
||||||
ghdl................................|ale-vhdl-ghdl|
|
|
||||||
vcom................................|ale-vhdl-vcom|
|
|
||||||
xvhdl...............................|ale-vhdl-xvhdl|
|
|
||||||
vim...................................|ale-vim-options|
|
|
||||||
vint................................|ale-vim-vint|
|
|
||||||
vim help..............................|ale-vim-help-options|
|
|
||||||
write-good..........................|ale-vim-help-write-good|
|
|
||||||
vue...................................|ale-vue-options|
|
|
||||||
prettier............................|ale-vue-prettier|
|
|
||||||
vls.................................|ale-vue-vls|
|
|
||||||
xhtml.................................|ale-xhtml-options|
|
|
||||||
write-good..........................|ale-xhtml-write-good|
|
|
||||||
xml...................................|ale-xml-options|
|
|
||||||
xmllint.............................|ale-xml-xmllint|
|
|
||||||
yaml..................................|ale-yaml-options|
|
|
||||||
prettier............................|ale-yaml-prettier|
|
|
||||||
swaglint............................|ale-yaml-swaglint|
|
|
||||||
yamllint............................|ale-yaml-yamllint|
|
|
||||||
yang..................................|ale-yang-options|
|
|
||||||
yang-lsp............................|ale-yang-lsp|
|
|
||||||
|
|
||||||
ALE can fix problems with files with the |ALEFix| command, using the same job
|
ALE can fix problems with files with the |ALEFix| command, using the same job
|
||||||
control functionality used for checking for problems. Try using the
|
control functionality used for checking for problems. Try using the
|
||||||
@@ -2416,6 +2056,8 @@ documented in additional help files.
|
|||||||
write-good............................|ale-pod-write-good|
|
write-good............................|ale-pod-write-good|
|
||||||
pony....................................|ale-pony-options|
|
pony....................................|ale-pony-options|
|
||||||
ponyc.................................|ale-pony-ponyc|
|
ponyc.................................|ale-pony-ponyc|
|
||||||
|
powershell............................|ale-powershell-options|
|
||||||
|
psscriptanalyzer....................|ale-powershell-psscriptanalyzer|
|
||||||
prolog..................................|ale-prolog-options|
|
prolog..................................|ale-prolog-options|
|
||||||
swipl.................................|ale-prolog-swipl|
|
swipl.................................|ale-prolog-swipl|
|
||||||
proto...................................|ale-proto-options|
|
proto...................................|ale-proto-options|
|
||||||
|
|||||||
Reference in New Issue
Block a user