Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added lemma
  3. proper default for disjunction (amending 9f7a94117666);
  4. tuned;
  5. more operations;
  6. avoid option -C: free this latter for build-related configuration;
  7. more direct indentation, using Symbol.spaces;
  8. clarified signature;
  9. more accurate treatment of surrounding whitespace;
  10. obsolete (see also f627ab8c276c);
  11. tuned signature;
  12. clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
Changeset 78923:ab85d87dc2be by nipkow:
merged
Changeset 78922:9e43ab263d33 by nipkow:
added lemma
The file was modified src/HOL/Library/NList.thy (diff)
Changeset 78921:2fee5fba3116 by wenzelm:
proper default for disjunction (amending 9f7a94117666);
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78920:e495f910dd94 by wenzelm:
tuned;
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78919:7847cbfe3a62 by wenzelm:
more operations;
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78918:8378354bbdad by wenzelm:
avoid option -C: free this latter for build-related configuration;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78917:30e0c15a71f7 by wenzelm:
more direct indentation, using Symbol.spaces;
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78916:e97fa2edf4b2 by wenzelm:
clarified signature;
The file was modified src/Pure/System/benchmark.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
Changeset 78915:90756ad4d8d7 by wenzelm:
more accurate treatment of surrounding whitespace;
The file was modified src/Pure/System/benchmark.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 78914:715f1bd21993 by wenzelm:
obsolete (see also f627ab8c276c);
The file was modified etc/options (diff)
Changeset 78913:ecb02f288636 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
Changeset 78912:ff4496b25197 by wenzelm:
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Pure/Thy/thy_element.scala (diff)