 Jesper Cockx
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
il y a 3 ans |
 G. Allais
|
96860c1612
[ fix build ] --rewriting is now infective (#5182)
|
il y a 4 ans |
 herminie
|
4cce39b7ae
[ fix #3874 ] updated core language in user manual (#4673)
|
il y a 4 ans |
 Ulf Norell
|
79d29e92d3
[fix #3955] document module keyword in using/hiding/renaming
|
il y a 5 ans |
|
Ulf Norell
|
9eaf1d234d
[ fix #3928 ] clarify documentation for `open import` with modifiers
|
il y a 5 ans |
 Andreas Abel
|
92a338244f
[ #1346 ] CHANGELOG and documentation in user manual
|
il y a 5 ans |
|
Andreas Abel
|
6e6877b26b
[ fixed #3331 ] updated user manual on modules
|
il y a 6 ans |
 Fredrik Nordvall Forsberg
|
e3f598313c
[ user manual ] move record update (fixes #2665)
|
il y a 7 ans |
|
Andreas Abel
|
8556fee211
user-manual: agdarized module-system
|
il y a 8 ans |
