Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output in isar-ref manual;
  2. obsolete (used to be part of old src/Pure/codegen.ML);
Changeset 67154:c7def8f836d0 by wenzelm:
tuned output in isar-ref manual;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 67153:39117b6f0b2e by wenzelm:
obsolete (used to be part of old src/Pure/codegen.ML);
The file was modified lib/texinputs/isabellesym.sty (diff)