Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. update preview after document change; clarified encode_name/decode_name; clarified other_column;
  3. proper HTML preview;
  4. clarified view column; tuned whitespace;
  5. basic setup for document preview;
  6. Tuned Library/Sublist.thy
  7. reorganised material on sublists
Changeset 65962:d7bc93a467bd by wenzelm:
merged
Changeset 65961:7f87310d6c09 by wenzelm:
update preview after document change;<br>clarified encode_name/decode_name;<br>clarified other_column;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65960:38fbf13f7986 by wenzelm:
proper HTML preview;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65959:47309113ee4d by wenzelm:
clarified view column;<br>tuned whitespace;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65958:6338355b2a88 by wenzelm:
basic setup for document preview;
The file was addedsrc/Tools/VSCode/extension/src/preview.ts
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 65957:558ba6b37f5c by eberlm _eberlm@in.tum.de_:
Tuned Library/Sublist.thy
The file was modified src/HOL/Library/Sublist.thy (diff)
Changeset 65956:639eb3617a86 by eberlm _eberlm@in.tum.de_:
reorganised material on sublists
The file was addedsrc/HOL/Library/Subseq_Order.thy
The file was modified NEWS (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
The file was modified src/HOL/Enum.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/List_Sublist.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/Subarray.thy (diff)
The file was modified src/HOL/Library/Sublist.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Quickcheck_Exhaustive.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/UNITY/Comp/AllocBase.thy (diff)
The file was modified src/HOL/UNITY/Comp/AllocImpl.thy (diff)
The file was removedsrc/HOL/Library/Sublist_Order.thy