Artifact d27b5f5a8f55caa80749ca403f14cf9120038d66:

• File Doc/Extra/Core/pragma.html — part of check-in [9ade973926] at 2014-12-09 19:23:08 on branch trunk — Update the included core library documentation. (user: mistachkin size: 83176)