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 71581 e9f53182c4aa
parent 71575 aff37005fd79
child 71582 f2c1154e9c8d
child 71662 263298eb68b2
equal deleted inserted replaced
71580:9a364ed3a440 71581:e9f53182c4aa 
  1493 * Isabelle settings variables ISABELLE_WINDOWS_PLATFORM,
 
  1493 * Isabelle settings variables ISABELLE_WINDOWS_PLATFORM,
 
  1494 ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the
 
  1494 ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the
 
  1495 native Windows platform (independently of the Cygwin installation). This
 
  1495 native Windows platform (independently of the Cygwin installation). This
 
  1496 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
 
  1496 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
 
  1497 ISABELLE_PLATFORM64.
 
  1497 ISABELLE_PLATFORM64.
 
       
  1498 
       
  1499 * The command-line tool "isabelle build_docker" has been slightly
 
       
  1500 improved: it is now properly documented in the "system" manual.
 
  1498 
  1501 
  1499 * Command-line tool "isabelle build_docker" builds a Docker image from
 
  1502 * Command-line tool "isabelle build_docker" builds a Docker image from
 
  1500 the Isabelle application bundle for Linux. See also
 
  1503 the Isabelle application bundle for Linux. See also
 
  1501 https://hub.docker.com/r/makarius/isabelle
 
  1504 https://hub.docker.com/r/makarius/isabelle
 
  1502 
  1505
isabelle