| .. |
|
Makefile
|
1b0a5aff0d
make: Consistently invoke make via $(MAKE)
|
%!s(int64=4) %!d(string=hai) anos |
|
acmart-pdflatex.lagda.tex
|
5c711a1baa
[ fixed #5205 ] Updated user manual tests.
|
%!s(int64=3) %!d(string=hai) anos |
|
acmart-xelatex.lagda.tex
|
5c711a1baa
[ fixed #5205 ] Updated user manual tests.
|
%!s(int64=3) %!d(string=hai) anos |
|
article-luaxelatex-different-fonts.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
%!s(int64=6) %!d(string=hai) anos |
|
article-luaxelatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
%!s(int64=6) %!d(string=hai) anos |
|
article-pdflatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
%!s(int64=6) %!d(string=hai) anos |
|
auto.rst
|
8a14308e46
[ fix #4046 ] Remove 'codata' definitions and make 'data' always inductive
|
%!s(int64=5) %!d(string=hai) anos |
|
beamer-luaxelatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
%!s(int64=6) %!d(string=hai) anos |
|
beamer-pdflatex.lagda.tex
|
a4552a8db4
[ LaTeX backend ] Changed the default value of \AgdaEmptySkip.
|
%!s(int64=6) %!d(string=hai) anos |
|
command-line-options.rst
|
b52a21df38
[ #5731 ] Added --save-metas and --no-save-metas.
|
%!s(int64=2) %!d(string=hai) anos |
|
compilers.lagda.rst
|
4f95e08517
Fixed #5441.
|
%!s(int64=3) %!d(string=hai) anos |
|
emacs-mode.rst
|
b4e98f9cf7
[ doc ] Fix whitespace
|
%!s(int64=3) %!d(string=hai) anos |
|
generating-html.rst
|
20974a85a2
Fix #5557: doc --print-agda-dir and how to get Agda.css and agda.sty
|
%!s(int64=3) %!d(string=hai) anos |
|
generating-latex.rst
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
%!s(int64=2) %!d(string=hai) anos |
|
index.rst
|
4bc59d5a29
[ fixed #4425] documentation on interface files (#4510)
|
%!s(int64=4) %!d(string=hai) anos |
|
interface-files.rst
|
57165760ee
[ doc #4425 #4510 ] small formulation tweaks to interface-files.rst
|
%!s(int64=4) %!d(string=hai) anos |
|
literate-programming.rst
|
50d20846bb
[ #3976 ] doc: links: giving up on gmane finally
|
%!s(int64=4) %!d(string=hai) anos |
|
package-system.rst
|
2dc31706af
[ #5644 ] Library files can no longer be below the project root.
|
%!s(int64=3) %!d(string=hai) anos |
|
performance.rst
|
4f073d237f
[ user-manual ] fix build failure
|
%!s(int64=4) %!d(string=hai) anos |
|
search-about.lagda.rst
|
20fbe9d3ef
[ doc ] for search about (#4304)
|
%!s(int64=5) %!d(string=hai) anos |
Andreas Abel
7028350ce1
Fix #5773: doc: link to ICU installation instructions