Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. merged
  3. tuned signature;
  4. more robust;
  5. clarified signature: more position information via node_name;
  6. tuned signature: avoid name confusion;
  7. more bibtex errors; clarified Bibtex.Chunk.is_malformed (again): see also 9c1389befa56 and 7ee248f19ca9;
  8. clarified signature: internalize errors (but: the parser rarely fails);
  9. tuned signature;
  10. clarified signature: more explicit types;
  11. clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
  12. merged
  13. removed old lemma names
Changeset 76785:9e5a27486ca2 by wenzelm:
tuned signature;
The file was modified src/Pure/logic.ML (diff)
Changeset 76784:de9efab17e47 by wenzelm:
merged
Changeset 76783:8ebde8164bba by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/graphview_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 76782:a62a609b5db2 by wenzelm:
more robust;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 76781:d9f48960bf23 by wenzelm:
clarified signature: more position information via node_name;
The file was modified src/Tools/VSCode/src/vscode_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76780:563939d75770 by wenzelm:
tuned signature: avoid name confusion;
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
Changeset 76779:caeb732db09f by wenzelm:
more bibtex errors;<br>clarified Bibtex.Chunk.is_malformed (again): see also 9c1389befa56 and 7ee248f19ca9;
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76778:4086a0e4723b by wenzelm:
clarified signature: internalize errors (but: the parser rarely fails);
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76777:7cf938666641 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76776:011759a7f2f6 by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76775:01a7265db76b by wenzelm:
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76774:2735b11a3de8 by desharna:
merged
Changeset 76773:b61ad889dffa by desharna:
removed old lemma names
The file was modified src/HOL/Relation.thy (diff)