Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Nomenclature:
- A leafis a check-in with no descendants in the same branch.
- An open leafis a leaf that does not have a "closed" tag and is thus assumed to still be in use.
- A closed leafhas a "closed" tag and is thus assumed to be historical and no longer in active use.
Open leaves:
|
2012-06-17
| ||
| 10:49 | [394fd4971a] Leaf: finished higher-order monotonicity (user: ahrens, tags: trunk) |