Summary
- prefer explicit 32/64 bit platform settings;
- misc tuning and clarification;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | Admin/PLATFORMS (diff) |