Put release date into release notes

HOL-Theorem-Prover · Mar 2, 2017 · 962a079 · 962a079
1 parent 06603de
commit 962a079
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/kananaskis-11.release.md b/doc/kananaskis-11.release.md
@@ -3,7 +3,7 @@
 <!-- search and replace ?????? strings corresponding to release name -->
 <!-- indent code within bulleted lists to column 11 -->
 
-(Released: ??????)
+(Released: 3 March 2017)
 
 We are pleased to announce the Kananaskis-11 release of HOL 4.