Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. only show sessions with document setup;
  2. tuned;
  3. proper node name instead of not base tex_name (amending 2fd0c33fe440);
  4. proper migrate_name between different kinds of Resources, notably for Windows;
  5. merged
  6. added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp]
Changeset 76742:3f41f3c3696c by wenzelm:
only show sessions with document setup;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76741:ec07b1af45c5 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76740:2afca3174629 by wenzelm:
proper node name instead of not base tex_name (amending 2fd0c33fe440);
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76739:cb72b5996520 by wenzelm:
proper migrate_name between different kinds of Resources, notably for Windows;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
Changeset 76738:5a88237fac53 by desharna:
merged
Changeset 76737:9d9a2731a4e3 by desharna:
added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)