Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
  3. tuned whitespace;
  4. clarified signature;
  5. clarified signature;
  6. tuned;
  7. tuned;
  8. discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
  9. tuned --- more robust ML patterns;
  10. tuned;
Changeset 76818:947510ce4e36 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76817:0eb3ea050fa9 by wenzelm:
support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76816:294004c907c7 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76815:974f2c104f63 by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76814:79be2345e01d by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76813:92a547feec88 by wenzelm:
tuned;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76812:9e09030737e5 by wenzelm:
tuned;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76811:56d76e8cecf4 by wenzelm:
discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76810:3f211d126ddc by wenzelm:
tuned --- more robust ML patterns;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76809:f05327293f07 by wenzelm:
tuned;
The file was modified src/Pure/Isar/toplevel.ML (diff)