ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ツリー: 9c190b6ebc
ブランチ タグ
agda
/
doc
/
user-manual
/
tools
Andreas Abel 7028350ce1 Fix #5773: doc: link to ICU installation instructions 2 年 前
..
Makefile 1b0a5aff0d make: Consistently invoke make via $(MAKE) 4 年 前
acmart-pdflatex.lagda.tex 5c711a1baa [ fixed #5205 ] Updated user manual tests. 3 年 前
acmart-xelatex.lagda.tex 5c711a1baa [ fixed #5205 ] Updated user manual tests. 3 年 前
article-luaxelatex-different-fonts.lagda.tex a4552a8db4 [ LaTeX backend ] Changed the default value of \AgdaEmptySkip. 6 年 前
article-luaxelatex.lagda.tex a4552a8db4 [ LaTeX backend ] Changed the default value of \AgdaEmptySkip. 6 年 前
article-pdflatex.lagda.tex a4552a8db4 [ LaTeX backend ] Changed the default value of \AgdaEmptySkip. 6 年 前
auto.rst 8a14308e46 [ fix #4046 ] Remove 'codata' definitions and make 'data' always inductive 5 年 前
beamer-luaxelatex.lagda.tex a4552a8db4 [ LaTeX backend ] Changed the default value of \AgdaEmptySkip. 6 年 前
beamer-pdflatex.lagda.tex a4552a8db4 [ LaTeX backend ] Changed the default value of \AgdaEmptySkip. 6 年 前
command-line-options.rst b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. 2 年 前
compilers.lagda.rst 4f95e08517 Fixed #5441. 3 年 前
emacs-mode.rst b4e98f9cf7 [ doc ] Fix whitespace 3 年 前
generating-html.rst 20974a85a2 Fix #5557: doc --print-agda-dir and how to get Agda.css and agda.sty 3 年 前
generating-latex.rst 7028350ce1 Fix #5773: doc: link to ICU installation instructions 2 年 前
index.rst 4bc59d5a29 [ fixed #4425] documentation on interface files (#4510) 4 年 前
interface-files.rst 57165760ee [ doc #4425 #4510 ] small formulation tweaks to interface-files.rst 4 年 前
literate-programming.rst 50d20846bb [ #3976 ] doc: links: giving up on gmane finally 4 年 前
package-system.rst 2dc31706af [ #5644 ] Library files can no longer be below the project root. 3 年 前
performance.rst 4f073d237f [ user-manual ] fix build failure 4 年 前
search-about.lagda.rst 20fbe9d3ef [ doc ] for search about (#4304) 5 年 前