 Andreas Abel
|
8ca2402d1f
Testsuite: use Text.words consistently when diffing
|
3 år sedan |
|
Andreas Abel
|
767eecdd60
Re #5549: latex-html-test: sanitize Agda output (Windows compatibility)
|
3 år sedan |
|
Andreas Abel
|
b44a0bd828
[ fix #5302 ] make 'cabal test' work for part of the test-suite (#5536)
|
3 år sedan |
|
Andreas Abel
|
6250c3d997
[ #5302 ] make LaTeXAndHTML TestTree redundancy free
|
3 år sedan |
|
Andreas Abel
|
0045922094
[ #5140 ] LaTeXAndHTML: expect non-lagda tests in user-manual/
|
3 år sedan |
|
Andreas Abel
|
0dc7645373
[ #5140 ] LaTeXAndHTML: consider also lagda files in fail/
|
3 år sedan |
|
Andreas Abel
|
5bbf9fb556
[ #5140 refactor ] use readMaybe from Data.Text
|
3 år sedan |
 Alex Rice
|
bb6ec6a1ce
wrap org-mode exported html as html (#4552)
|
4 år sedan |
 G. Allais
|
08dd23df8d
[ fix #3129 ] add 'bugs' target to the test suite (#3970)
|
5 år sedan |
 Robert Estelle
|
767ab569c2
[cleanup] Remove LANGUAGE pragmas also enabled at project-level
|
5 år sedan |
 Tesla Ice Zhang
|
2d980891f5
[ close #3373 ] Implement the proposed feature (#3384)
|
6 år sedan |
|
ice1000
|
30dcb47670
[ #3366 ] Add tests
|
6 år sedan |
 Nils Anders Danielsson
|
b78820a660
[ #3372 ] Set up proper tests for the templates.
|
6 år sedan |
|
ice1000
|
8d6a32cda4
[ html backend ] Add missing test case
|
6 år sedan |
|
ice1000
|
bbc6d95fc1
[ #3313 ] Added test cases, fix current test cases to fit the new flag
|
6 år sedan |
|
Nils Anders Danielsson
|
a7e60e012e
[ LaTeX backend ] Fixed #3224. Fixed #3170.
|
6 år sedan |
 Ulf Norell
|
2b176cc0e2
[ #3170 ] disable unicode declare tests
|
6 år sedan |
 Andrés Sicard-Ramírez
|
20a73f247a
[ #3159 ] Added more missing `--no-default-libraries` options.
|
6 år sedan |
|
Andrés Sicard-Ramírez
|
ef0e9d8e15
[ #2692 ] Removed support for GHC 7.8.4 from the test-suite.
|
7 år sedan |
|
Nils Anders Danielsson
|
38fdd12be0
Improved support for intentionally failing LaTeX/HTML tests.
|
7 år sedan |
|
Ulf Norell
|
0608ccbeeb
Merge branch Issue2604 into stable-2.5
|
7 år sedan |
|
Nils Anders Danielsson
|
e100aa20f8
[ #2725 ] Fixed.
|
7 år sedan |
|
Andreas Abel
|
124d642007
Fixed #2716: can run html and latex tests separately
|
7 år sedan |
|
Nils Anders Danielsson
|
7d26354997
One can now tweak the LaTeX and HTML tests using ".flags" files.
|
7 år sedan |
|
Andreas Abel
|
af5b82af58
Fixed #2317 by using system temp directory
|
7 år sedan |
|
Nils Anders Danielsson
|
31ac42fc84
Tried to make the code build using old versions of GHC.
|
7 år sedan |
|
Nils Anders Danielsson
|
08c553acdc
[ LaTeX backend ] A new variant: QuickLaTeX.
|
7 år sedan |
|
Andrés Sicard-Ramírez
|
a67155de9b
[ #2392 ] Used the `.compile` files only for removing LaTeX compilers.
|
8 år sedan |
|
Andrés Sicard-Ramírez
|
d3f743c148
[ #2392 ] Added some missing LaTeX-backend test cases.
|
8 år sedan |
 Víctor López Juan
|
969d9629f0
Revamp literate Agda support.
|
8 år sedan |
