| .. |
|
_templates
|
e4d44af8d5
[ #3877 ] Remove broken links to github
|
5 年 前 |
|
contribute
|
b22c97dc31
[ fixed #4554 ] added imagemagick dependency to doc build info
|
4 年 前 |
|
getting-started
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
2 年 前 |
|
language
|
cde693e976
[ update ] Add a description about `formatErrorParts`
|
2 年 前 |
|
tools
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
2 年 前 |
|
.gitignore
|
2bb4b8af92
[ docs ] Remove user manual back to it's own folder.
|
9 年 前 |
|
GUILib.hs
|
b59545e8d3
[ backend ] documentation for new compiler pragmas
|
7 年 前 |
|
Makefile
|
03506e503c
[ #3976 ] user-manual-linkcheck: --keep-going to see all broken links
|
5 年 前 |
|
agda.svg
|
6fa1ceaa75
[ re #2823 ] Add Agda logo to readthedocs
|
4 年 前 |
|
conf.py
|
997ca3a842
[ #5154 ] Bumped version to 2.6.3.
|
3 年 前 |
|
index.rst
|
6fa1ceaa75
[ re #2823 ] Add Agda logo to readthedocs
|
4 年 前 |
|
make.bat
|
2bb4b8af92
[ docs ] Remove user manual back to it's own folder.
|
9 年 前 |
|
overview.rst
|
e7f1c56f07
[ doc ] Fix a link in overview
|
3 年 前 |
|
requirements.txt
|
764038cf20
[ #2153 ] Preparation for fixing the issue.
|
5 年 前 |
|
team.rst
|
e81e99146a
Update contributors for 2.6.2.1 (#5513)
|
3 年 前 |
|
unicode-symbols-sphinx.tex.txt
|
d837e65257
[ cubical, doc, re #3539 ] Document the cubical mode properly (#3571)
|
5 年 前 |
Andreas Abel
7028350ce1
Fix #5773: doc: link to ICU installation instructions
