changeset 66598 | e2671e8c476f |
parent 66477 | 7dccaa6d419a |
child 66609 | a61181ffb1ce |
--- a/Admin/Release/CHECKLIST Sat Sep 02 17:15:12 2017 +0200 +++ b/Admin/Release/CHECKLIST Sat Sep 02 17:21:52 2017 +0200 @@ -19,6 +19,10 @@ src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src-base/Isabelle_Base.props +- check Isabelle version: + src/Tools/VSCode/extension/README.md + src/Tools/VSCode/extension/package.json + - check funny base directory, e.g. "Test 中国"; - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding