Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 63246 c493859d4267
parent 63237 3e908f762817
child 63247 c7c76fa73a56
equal deleted inserted replaced
63245:ea13f44da888 63246:c493859d4267 
   119 generated code.
 
   119 generated code.
 
   120 
   120 
   121 * Probability/Random_Permutations.thy contains some theory about 
   121 * Probability/Random_Permutations.thy contains some theory about 
   122 choosing a permutation of a set uniformly at random and folding over a 
   122 choosing a permutation of a set uniformly at random and folding over a 
   123 list in random order.
 
   123 list in random order.
 
       
   124 
       
   125 * Probability/SPMF formalises discrete subprobability distributions.
 
   124 
   126 
   125 * Library/Set_Permutations.thy (executably) defines the set of 
   127 * Library/Set_Permutations.thy (executably) defines the set of 
   126 permutations of a set, i.e. the set of all lists that contain every 
   128 permutations of a set, i.e. the set of all lists that contain every 
   127 element of the carrier set exactly once.
 
   129 element of the carrier set exactly once.
 
   128 
   130 
  1262 * Global session timeout is multiplied by timeout_scale factor. This
 
  1264 * Global session timeout is multiplied by timeout_scale factor. This
 
  1263 allows to adjust large-scale tests (e.g. AFP) to overall hardware
 
  1265 allows to adjust large-scale tests (e.g. AFP) to overall hardware
 
  1264 performance.
 
  1266 performance.
 
  1265 
  1267 
  1266 * Property values in etc/symbols may contain spaces, if written with the
 
  1268 * Property values in etc/symbols may contain spaces, if written with the
 
  1267 replacement character "␣" (Unicode point 0x2324). For example:
 
  1269 replacement character "?" (Unicode point 0x2324). For example:
 
  1268 
  1270 
  1269     \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
 
  1271     \<star>  code: 0x0022c6  group: operator  font: Deja?Vu?Sans?Mono
 
  1270 
  1272 
  1271 * Java runtime environment for x86_64-windows allows to use larger heap
 
  1273 * Java runtime environment for x86_64-windows allows to use larger heap
 
  1272 space.
 
  1274 space.
 
  1273 
  1275 
  1274 * Java runtime options are determined separately for 32bit vs. 64bit
 
  1276 * Java runtime options are determined separately for 32bit vs. 64bit
isabelle