NEWS and CONTRIBUTORS for SPMF
authorAndreas Lochbihler
Wed Jun 08 09:07:05 2016 +0200 (2016-06-08)
changeset 63246c493859d4267
parent 63245 ea13f44da888
child 63247 c7c76fa73a56
NEWS and CONTRIBUTORS for SPMF
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Wed Jun 08 09:05:32 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 08 09:07:05 2016 +0200
     1.3 @@ -17,6 +17,9 @@
     1.4    Reasoning support for monotonicity, continuity and
     1.5    admissibility in chain-complete partial orders.
     1.6  
     1.7 +* June 2016: Andreas Lochbihler
     1.8 +  Formalisation of discrete subprobability distributions.
     1.9 +
    1.10  Contributions to Isabelle2016
    1.11  -----------------------------
    1.12  
     2.1 --- a/NEWS	Wed Jun 08 09:05:32 2016 +0200
     2.2 +++ b/NEWS	Wed Jun 08 09:07:05 2016 +0200
     2.3 @@ -122,6 +122,8 @@
     2.4  choosing a permutation of a set uniformly at random and folding over a 
     2.5  list in random order.
     2.6  
     2.7 +* Probability/SPMF formalises discrete subprobability distributions.
     2.8 +
     2.9  * Library/Set_Permutations.thy (executably) defines the set of 
    2.10  permutations of a set, i.e. the set of all lists that contain every 
    2.11  element of the carrier set exactly once.
    2.12 @@ -1264,9 +1266,9 @@
    2.13  performance.
    2.14  
    2.15  * Property values in etc/symbols may contain spaces, if written with the
    2.16 -replacement character "␣" (Unicode point 0x2324). For example:
    2.17 -
    2.18 -    \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
    2.19 +replacement character "?" (Unicode point 0x2324). For example:
    2.20 +
    2.21 +    \<star>  code: 0x0022c6  group: operator  font: Deja?Vu?Sans?Mono
    2.22  
    2.23  * Java runtime environment for x86_64-windows allows to use larger heap
    2.24  space.