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