| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
invariant in Esubst
|
|
|
|
(closes #7044)
|
|
|
|
The toplevel refactoring made path initialization per document,
however vio-checking and vio-tasks are not documents, so loadpath must
be initialized individually.
Patch by @gares, refactoring to avoid double-initialization by me.
Co-authored-by: <Enrico.Tassi@inria.fr>
|
|
provide line number
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This should preserve semantics exactly.
In the compute_implicits family of functions, I changed the
name of the pushed rel to not be fresh, but the env isn't passed
to find_displayed_name_in, and shouldn't affect whd_all.
|
|
This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd.
This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8
and left untouched since then.
|
|
|
|
|
|
lost in sphinx migration)
|
|
|
|
|
|
Including: how to create a GPG key.
|
|
In particular, describes what to do with overlays.
|
|
- The testing and benchmarking labels are now distinct.
- The release manager does not take care of merging anymore.
- The reference manual is not written in LaTeX anymore.
|
|
|
|
|
|
|
|
Thanks to Paul Steckler for porting this chapter.
|
|
|
|
|
|
|
|
|
|
Thanks to Paul Steckler for porting this chapter.
|
|
|
|
|
|
|
|
|
|
|
|
with #7142]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Closes #6782
|
