Summary
- moved to proper release (cf. 4a72b37ac4b8); tuned;
- updated for release;
- merged
- Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
The file was modified | NEWS (diff) |
The file was modified | ANNOUNCE (diff) |
The file was modified | CONTRIBUTORS (diff) |
The file was modified | NEWS (diff) |
The file was modified | .hgtags (diff) |