merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFP4e65f74a370d: merged
rAFP6449004f608b: enriched abstract substitution library slightly - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 6c95b5484a25 Backed out changeset 9af08c18b665Author
- 8832fd9452c0 clean up TODOsAuthor
- 8fdbf93f3404 cleanup, guided by old FIXMEsAuthor
- 34620ae99267 added lemmaAuthor
- 9792b8607ad6 Tuned MathJax templatesAuthor
- 40282cc15d5e Documentation for MathJaxAuthor
- 8debf0ad489a tuningAuthor
- a0d561998f20 closed branchAuthor
- ad14484777fc merged