Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more NEWS;
  3. tuned;
  4. tuned;
  5. proper formatting (amending 5076725247fa);
  6. more on "Physical and logical files";
  7. proper session chapter; cannot access session: refers to ROOT entry;
  8. misc tuning;
  9. more uniform scaling;
  10. New version of tries
Changeset 70259:42f73412fa06 by wenzelm:
merged
Changeset 70258:b4534d72dd22 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 70257:6778fdbd6c5d by wenzelm:
tuned;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70256:62a6c1257c05 by wenzelm:
tuned;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70255:81c6a9a9a791 by wenzelm:
proper formatting (amending 5076725247fa);
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 70254:5a00e8624488 by wenzelm:
more on "Physical and logical files";
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70253:cb334a92a4db by wenzelm:
proper session chapter;<br>cannot access session: refers to ROOT entry;
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 70252:236c1bb128da by wenzelm:
misc tuning;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/JEdit/document/root.tex (diff)
The file was modified src/Doc/manual.bib (diff)
Changeset 70251:b2eac0e8241c by wenzelm:
more uniform scaling;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70250:20d819b0a29d by nipkow:
New version of tries
The file was addedsrc/HOL/Data_Structures/Trie_Fun.thy
The file was addedsrc/HOL/Data_Structures/Trie_Map.thy
The file was addedsrc/HOL/Data_Structures/Tries_Binary.thy
The file was modified src/HOL/Data_Structures/Base_FDS.thy (diff)
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Data_Structures/Trie.thy