Andreas Abel
767eecdd60
Re #5549: latex-html-test: sanitize Agda output (Windows compatibility)
|
3 년 전 | |
|---|---|---|
| .. | ||
| Issue2453.html | 3 년 전 | |
| Issue2453.lagda | 3 년 전 | |
| Issue2453.quick.tex | 3 년 전 | |
| Issue2453.tex | 3 년 전 | |
|
Andreas Abel
767eecdd60
Re #5549: latex-html-test: sanitize Agda output (Windows compatibility)
|
3 년 전 | |
|---|---|---|
| .. | ||
| Issue2453.html | 3 년 전 | |
| Issue2453.lagda | 3 년 전 | |
| Issue2453.quick.tex | 3 년 전 | |
| Issue2453.tex | 3 년 전 | |