| .. |
|
Makefile
|
1b0a5aff0d
make: Consistently invoke make via $(MAKE)
|
4 years ago |
|
acmart-pdflatex.lagda.tex
|
5c711a1baa
[ fixed #5205 ] Updated user manual tests.
|
4 years ago |
|
acmart-xelatex.lagda.tex
|
5c711a1baa
[ fixed #5205 ] Updated user manual tests.
|
4 years ago |
|
article-luaxelatex-different-fonts.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
6 years ago |
|
article-luaxelatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
6 years ago |
|
article-pdflatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
6 years ago |
|
auto.rst
|
8a14308e46
[ fix #4046 ] Remove 'codata' definitions and make 'data' always inductive
|
5 years ago |
|
beamer-luaxelatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
6 years ago |
|
beamer-pdflatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
6 years ago |
|
command-line-options.rst
|
6b13364d36
[ #5801 ] Added --syntactic-equality.
|
3 years ago |
|
compilers.lagda.rst
|
ce9b406819
[ #5793 ] JS backend: allow choosing CJS or AMD module style
|
3 years ago |
|
emacs-mode.rst
|
b4e98f9cf7
[ doc ] Fix whitespace
|
3 years ago |
|
generating-html.rst
|
20974a85a2
Fix #5557: doc --print-agda-dir and how to get Agda.css and agda.sty
|
3 years ago |
|
generating-latex.rst
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
3 years ago |
|
index.rst
|
4bc59d5a29
[ fixed #4425] documentation on interface files (#4510)
|
4 years ago |
|
interface-files.rst
|
57165760ee
[ doc #4425 #4510 ] small formulation tweaks to interface-files.rst
|
4 years ago |
|
literate-programming.rst
|
50d20846bb
[ #3976 ] doc: links: giving up on gmane finally
|
5 years ago |
|
package-system.rst
|
2dc31706af
[ #5644 ] Library files can no longer be below the project root.
|
3 years ago |
|
performance.rst
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
3 years ago |
|
search-about.lagda.rst
|
20fbe9d3ef
[ doc ] for search about (#4304)
|
5 years ago |
caryoscelus
ce9b406819
[ #5793 ] JS backend: allow choosing CJS or AMD module style