Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper position information for Context.theory_data_size;
Changeset 74148:a97d5356f1d9 by wenzelm:
proper position information for Context.theory_data_size;
The file was modified src/Pure/ML/ml_compiler2.ML (diff)