Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. back to post-release mode;
  3. Added tag Isabelle2019-RC2 for changeset 805250bb7363
  4. fixed theory name
  5. simplified types
Changeset 70266:0b813a1a833f by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Trie_Fun.thy (diff)
The file was modified src/HOL/Data_Structures/Trie_Map.thy (diff)
Changeset 70265:a8238fd25541 by wenzelm:
back to post-release mode;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 70264:ad0306b89cfb by wenzelm:
Added tag Isabelle2019-RC2 for changeset 805250bb7363
The file was modified .hgtags (diff)
Changeset 70263:805250bb7363 by nipkow:
fixed theory name
The file was modified src/HOL/Data_Structures/Trie_Map.thy (diff)
Changeset 70262:e12779b8f5b6 by nipkow:
simplified types
The file was modified src/HOL/Data_Structures/Trie_Fun.thy (diff)
The file was modified src/HOL/Data_Structures/Trie_Map.thy (diff)