Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2010-10-07 | minor documentation fixes | Daniel Wagner | 1 | -1/+1 |
2010-10-02 | Clarify the note on -XRank2Types in L.Groups | Adam Vogt | 1 | -3/+4 |
2010-01-17 | Mention X.L.Groups.ModifySpec's rank-2 type in the doc | quentin.moser | 1 | -0/+4 |
2010-10-01 | Orphan my modules | moserq | 1 | -4/+1 |
2010-10-01 | Split X.L.Groups.Examples | moserq | 1 | -8/+8 |
2010-01-18 | X.L.Groups: Always keep one group, even if empty. | quentin.moser | 1 | -37/+46 |
2010-01-17 | Do not duplicate layouts in X.L.Groups | quentin.moser | 1 | -8/+8 |
2010-03-30 | Note that Groups has redundancies and the interface may change. | Adam Vogt | 1 | -0/+3 |
2010-01-17 | Update my e-mail address | quentin.moser | 1 | -1/+1 |
2010-01-17 | New module: X.L.Groups | quentin.moser | 1 | -0/+496 |