Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

avoid Unicode that conflicts with Isabelle symbol rendering;

Changeset 65045:b69ef432438d by wenzelm: avoid Unicode that conflicts with Isabelle symbol rendering;
The file was modified	`NEWS` (diff)