 Nils Anders Danielsson
|
dc56491ca9
Made it possible to override optimise-heavily in mk/config.mk.
|
3 years ago |
 Andreas Abel
|
1dd6cd7c86
[ fix #5473 ] give `agda.sty` a version and a date
|
3 years ago |
 Jacques Carette
|
ecdeda1c1e
fix minor grammar error
|
3 years ago |
 Wen Kokke
|
0f4538c8dc
First step of float revision (see #4868)
|
4 years ago |
 Ulf Norell
|
a4be33859a
[ make ] allow configuring ghc memory limit in config.mk
|
4 years ago |
 Robert Estelle
|
b02bbc5dd7
make/doc: Document PARALLEL_TESTS variable
|
4 years ago |
|
Robert Estelle
|
214e8ae03d
make/doc: Document purpose and use of user-created mk/config.mk
|
4 years ago |
 Ed Nutting
|
e12a8a0dde
Hacking.md: "Travis workflows" -> "Travis jobs"; "Github" -> "GitHub"
|
4 years ago |
|
Ed Nutting
|
1128a8eab1
Add Travis/Github `skip` instructions to Hacking.md
|
4 years ago |
 Andrés Sicard-Ramírez
|
f95313eb00
[ HACKING ] Added instructions for cloning the repository.
|
4 years ago |
|
Andreas Abel
|
78cd3d81a6
[ fixes #3939 closes #2038 ] new Makefile goal: type-check
|
4 years ago |
|
Ulf Norell
|
56b81cf68f
[ #4458 ] removed (broken) agda2-measure-load-time
|
5 years ago |
|
Andrés Sicard-Ramírez
|
c7136e46a4
[ HACKING.md ] Fixed typo.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
88d68a2e31
[ closed issues for milestone ] Excluded new labels.
|
5 years ago |
|
Andrés Sicard-Ramírez
|
f5ee156a80
[ HACKING ] Added instructions for running the `closed-issues-for-milestone` program.
|
5 years ago |
 Liang-Ting Chen
|
4af7b92663
Update HACKING.md with Travis CI information [skip ci]
|
5 years ago |
|
Andreas Abel
|
88a03d3fe4
[ closed-issue-for-milestone ] some more labels to imply not-in-changelog
|
5 years ago |
|
Andreas Abel
|
dbdd6bc16a
[ HACKING ] quicker-install-bin, general guidelines (code of conduct)
|
5 years ago |
|
Andrés Sicard-Ramírez
|
4aa76a2bf5
[ closed #3755, HACKING.md ] Fixed instruction for running certain tests.
|
5 years ago |
 LUA Ting-Gan
|
550277e912
[ doc ] Update the stack workflow in HACKING.md
|
6 years ago |
|
Andrés Sicard-Ramírez
|
fe6d87a69a
[ HACKING ] Updated instructions for fixing white-space issues.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
463be33e6b
[ closed-issues-for-milestone ] Renamed directory.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
764038cf20
[ #2153 ] Preparation for fixing the issue.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
ac38171335
[ HACKING ] Added entry related to clossing issues.
|
6 years ago |
|
Andrés Sicard-Ramírez
|
8f906a4e6f
[ HACKING ] Added markdown format.
|
6 years ago |
