5 weeks ago nipkow [Tue, 14 May 2019 17:21:13 +0200] rev 70268
tuned names
src/HOL/Data_Structures/Tries_Binary.thy

5 weeks ago nipkow [Sun, 12 May 2019 20:15:28 +0200] rev 70267
tuned
src/HOL/Data_Structures/Tries_Binary.thy

5 weeks ago nipkow [Sat, 11 May 2019 22:19:28 +0200] rev 70266
tuned
src/HOL/Data_Structures/Trie_Fun.thy src/HOL/Data_Structures/Trie_Map.thy

5 weeks ago wenzelm [Sat, 11 May 2019 19:08:26 +0200] rev 70265
back to post-release mode;
CONTRIBUTORS NEWS src/Tools/VSCode/extension/README.md src/Tools/VSCode/extension/package.json

5 weeks ago wenzelm [Sat, 11 May 2019 15:53:11 +0200] rev 70264
Added tag Isabelle2019-RC2 for changeset 805250bb7363
.hgtags

5 weeks ago nipkow [Sat, 11 May 2019 15:40:08 +0200] rev 70263 Isabelle2019-RC2
fixed theory name
src/HOL/Data_Structures/Trie_Map.thy

5 weeks ago nipkow [Sat, 11 May 2019 15:27:11 +0200] rev 70262
simplified types
src/HOL/Data_Structures/Trie_Fun.thy src/HOL/Data_Structures/Trie_Map.thy

5 weeks ago wenzelm [Fri, 10 May 2019 11:20:02 +0200] rev 70261
clarified documentation;
src/Doc/Isar_Ref/HOL_Specific.thy src/Doc/Isar_Ref/Spec.thy

5 weeks ago wenzelm [Fri, 10 May 2019 10:41:38 +0200] rev 70260
more documentation;
NEWS src/Doc/Isar_Ref/Spec.thy

5 weeks ago wenzelm [Thu, 09 May 2019 16:48:25 +0200] rev 70259
merged