Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

»nil« seems to be a reserved constructor word in PolyML

Changeset 75456:160c9c18a707 by haftmann: »nil« seems to be a reserved constructor word in PolyML
The file was modified	`src/Tools/Code/code_ml.ML` (diff)