Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more precise markup; tuned signature;
  2. automatically resolve dependencies from document models and file-system;
  3. clarified;
  4. tuned;
  5. ignore message;
  6. clarified node_visible;
  7. tuned signature;
  8. proper state update;
  9. proper log;
  10. tuned;
  11. tuned signature;
  12. tuned signature;
  13. proper import_name;
  14. more elementary rules about div / mod on int
  15. complete set of cases rules for integers known to be (non-)positive/negative; legacy theorem branding
  16. more facts on sgn, abs
  17. dropped slightly outdated comment
Changeset 64728:601866c61ded by wenzelm:
more precise markup;<br>tuned signature;
The file was modified src/Pure/General/position.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
Changeset 64727:13e37567a0d6 by wenzelm:
automatically resolve dependencies from document models and file-system;
The file was modified src/Tools/VSCode/etc/options (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64726:c534a2ac537d by wenzelm:
clarified;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64725:38305f56c769 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64724:44dbf8cc2d7f by wenzelm:
ignore message;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64723:65bcb1fbaa73 by wenzelm:
clarified node_visible;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
Changeset 64722:6df73de0d3c7 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64721:4b9c96c3850b by wenzelm:
proper state update;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64720:8cc2d7c4ada1 by wenzelm:
proper log;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64719:55c871fc39e3 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64718:3197b68f4314 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64717:d2b50eb3d9ab by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64716:473793d52d97 by wenzelm:
proper import_name;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64715:33d5fa0ce6e5 by haftmann:
more elementary rules about div / mod on int
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Power.thy (diff)
Changeset 64714:53bab28983f1 by haftmann:
complete set of cases rules for integers known to be (non-)positive/negative;<br>legacy theorem branding
The file was modified src/HOL/Int.thy (diff)
Changeset 64713:9638c07283bc by haftmann:
more facts on sgn, abs
The file was modified src/HOL/Rings.thy (diff)
Changeset 64712:38adf0c59c35 by haftmann:
dropped slightly outdated comment
The file was modified src/HOL/Nat.thy (diff)