# HG changeset patch
# User Andreas Lochbihler
# Date 1465369625 -7200
# Node ID c493859d426798b06a47da2e1f581bca31dfe094
# Parent  ea13f44da888da4a477c43542b8d3321297fb2e9
NEWS and CONTRIBUTORS for SPMF

diff -r ea13f44da888 -r c493859d4267 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Jun 08 09:05:32 2016 +0200
+++ b/CONTRIBUTORS	Wed Jun 08 09:07:05 2016 +0200
@@ -17,6 +17,9 @@
   Reasoning support for monotonicity, continuity and
   admissibility in chain-complete partial orders.
 
+* June 2016: Andreas Lochbihler
+  Formalisation of discrete subprobability distributions.
+
 Contributions to Isabelle2016
 -----------------------------
 
diff -r ea13f44da888 -r c493859d4267 NEWS
--- a/NEWS	Wed Jun 08 09:05:32 2016 +0200
+++ b/NEWS	Wed Jun 08 09:07:05 2016 +0200
@@ -122,6 +122,8 @@
 choosing a permutation of a set uniformly at random and folding over a 
 list in random order.
 
+* Probability/SPMF formalises discrete subprobability distributions.
+
 * Library/Set_Permutations.thy (executably) defines the set of 
 permutations of a set, i.e. the set of all lists that contain every 
 element of the carrier set exactly once.
@@ -1264,9 +1266,9 @@
 performance.
 
 * Property values in etc/symbols may contain spaces, if written with the
-replacement character "␣" (Unicode point 0x2324). For example:
-
-    \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
+replacement character "?" (Unicode point 0x2324). For example:
+
+    \<star>  code: 0x0022c6  group: operator  font: Deja?Vu?Sans?Mono
 
 * Java runtime environment for x86_64-windows allows to use larger heap
 space.