Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper fall-back rendering of control symbol;
Changeset 67523:ed9bc7c2d8de by wenzelm:
proper fall-back rendering of control symbol;
The file was modified lib/texinputs/isabellesym.sty (diff)