[dylan-foundry/z3-dylan] b70fdc: Map Z3_bool to <C-boolean> in z3-api.

----==_mimepart_56add1b2b1ffd_602e3fdffbe532b8120260
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

  Branch: refs/heads/master
  Home:   https://github.com/dylan-foundry/z3-dylan
  Commit: b70fdcc69d12f0449b7dad61e5aa92fb6a932e01
      https://github.com/dylan-foundry/z3-dylan/commit/b70fdcc69d12f0449b7dad61e5aa92fb6a932e01
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-01-31 (Sun, 31 Jan 2016)

  Changed paths:
    M z3/raw-z3-api.dylan
    M z3/raw-z3-api.intr

  Log Message:
  -----------
  Map Z3_bool to <C-boolean> in z3-api.



----==_mimepart_56add1b2b1ffd_602e3fdffbe532b8120260
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter
----==_mimepart_56add1b2b1ffd_602e3fdffbe532b8120260--