Skip to content
Success

Changes

Summary

  1. tuned output;
  2. tuned;
  3. explicit graph for chains, which contains all nts as nodes;
  4. tuned;
  5. tuned;
  6. prefer lazy update;
  7. tuned output;
  8. more operations;
Changeset 67519:6905b156a030 by wenzelm:
tuned output;
The file was modified src/Pure/Syntax/ast.ML (diff)
Changeset 67518:30ecd3958bc3 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67517:add9a9f6a290 by wenzelm:
explicit graph for chains, which contains all nts as nodes;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67516:656720e8f443 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67515:fb87a0e9af21 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67514:6877af8bc18d by wenzelm:
prefer lazy update;
The file was modified src/Pure/Syntax/syntax.ML (diff)
Changeset 67513:731b1ad6759a by wenzelm:
tuned output;
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Pure/Syntax/parser.ML (diff)
The file was modified src/Pure/Syntax/syntax.ML (diff)
Changeset 67512:166c1659ac75 by wenzelm:
more operations;
The file was modified src/Pure/General/symbol.ML (diff)