merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFP0d88eeb67408: tuned proof for devel
rAFP66a042f96686: clarified quotes vs. apostrophes vs. primes; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 2b6d50818876 more accurate use of LaTeX ndash;Author
- 2c40cc64d4e5 prefer portable LaTeX mdash;Author
- 43ab95a583be proper Unix linefeeds;Author
- fb912ad7a64c changed affiliation of eberlAuthor
- 37caa5102bec Registers:
- 323c29c97a1e close merged branchAuthor
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged